m

F Nous contacter

0

Documents  03B05 | enregistrements trouvés : 47

O

-A +A

P Q

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 135 p.
ISBN 978-0-8218-2793-2

Contemporary mathematics , 0284

Localisation : Collection 1er étage

opérateur de Toeplitz # espace Beryman # algèbre ternaire # forme quadratique binaire # système dynamique ergodique # caractérisation spectrale # système cohérent vague # treillis # analyse de données spaciale # quantisation local

01A30 ; 28D05 ; 92B05 ; 92B99 ; 81Q99 ; 03B05 ; 03E72 ; 90B10 ; 47A15 ; 37A30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 461 p.
ISBN 978-0-8218-0834-4

DIMACS series in discrete mathematics and theoretical computer science , 0040

Localisation : Collection 1er étage

analyse combinatoire # analyse de réseaux # informatique théorique # mathématiques de l'économie # mathématiques discretes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche optionnelle # théorie de la décision # théorie de recherche # économétrie

03B05 ; 68Q15 ; 68Q42 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 318 p.
ISBN 978-0-8218-0916-7

DIMACS series in discrete mathematics and theoretical computer science , 0043

Localisation : Collection 1er étage

algorithmes # biomathématique # informatique théorique # intelligence artificielle # langage formel # mathématique économique # optimisation # processus stochastique # théorie de la decision # théorie du controle # économétrie

03B05 ; 68Q10 ; 68Q42 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 249 p.
ISBN 978-0-8218-1004-0

DIMACS series in discrete mathematics and theoretical computer science , 0046

Localisation : Collection 1er étage

algorithmique # classe de complexité # communication optique # complexité # informatique théorique # mathématique économique # mathématiques discrètes # optimisation combinatoire # programmation mathématique # programmation non linéaire # recherche opérationnelle # réécriture de système # théorie de la décision

03B05 ; 68Q25 ; 68Q42 ; 68R10 ; 68T01 ; 68T15 ; 90A05 ; 90B40 ; 90C27 ; 90C30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

Lecture notes in mathematics , 0070

Localisation : Collection 1er étage

calcul des propositions de Lukasiewicz # classe de fonction récursive # fragment monadique de calcul des prédicats # logique symbolique # morphologie demi-anneau # oméga-règle # partition et modèle # quantificateur de Chang # schéma de compréhension Pi indice 1 puissance 1 # théorie de la preuve # théorie non catégorique # ultrafiltre hyperarithmétique # équivalence récursive

03-06 ; 03B05 ; 03D20 ; 03D50 ; 03F03

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 723 p.
ISBN 978-0-8218-0479-7

DIMACS series in discrete mathematics and theoretical computer science , 0035

Localisation : Disparu

algorithme de calcul # calcul des propositions # classe de complexité # intelligence artificielle # logique # mathématique de l'économie # optimisation combinatoire # problème de satisfaction # programmation mathématique # réécriture de système # théorie de la décision # théorie de preuve # économie mathématique

03B05 ; 68Q42 ; 68T15 ; 90A05 ; 90C27

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xx; 649 p.
ISBN 978-2-91-635240-4

Tableau noir

Localisation : Ouvrage RdC (DEHO)

théorie des ensembles # grands nombres cardinaux # théorie de l'infini

03Exx ; 03E10 ; 03E25 ; 03E30 ; 03E35 ; 03E45 ; 03E55 ; 03E60 ; 03B05 ; 03B10 ; 03C07 ; 03D20 ; 03F40

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xxiv; 489 p.
ISBN 978-1-4822-3772-6

Textbooks in mathematics

Localisation : Ouvrage RdC (MEND)

logique mathématique # philosophie # théorie des ensembles de von Neumann-Bernays-Gödel # extension élémentaire # analyse non-standard # théorie de la quantification # théorème de complétude de Goedel # théorie formelle des nombres # arithmétique de premier ordre # calculabilité effective # algorithme

03-01 ; 03B05 ; 03B10 ; 03Cxx ; 03Dxx ; 03Exx ; 03Hxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- x; 263 p.
ISBN 978-1-4471-4557-8

Universitext

Localisation : Ouvrage RdC (VAND)

logique propositionnelle # logique des prédicats # exhaustibilité # logique de second ordre # logique intuitionniste # normalisation # théorème d'incomplétude de Gödel # ultraproduit

03-01 ; 03-02 ; 03B05 ; 03B10 ; 03B15 ; 03B20 ; 03C07 ; 03C20

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- xv; 356 p.
ISBN 978-1-4614-3630-0

Localisation : Ouvrage RdC (CUNN)

induction # logique mathématique # théorie des ensembles # démonstration mathématique # enseignement

97E50 ; 97E60 ; 97E30 ; 97E40 ; 03-01 ; 03B05 ; 03F03

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 250 p.
ISBN 978-0-19-921562-1

Oxford texts in logic , 0003

Localisation : Ouvrage RdC (CHIS)

logique mathématique # logique du premier ordre # logique des propositions # déduction naturelle

03-01 ; 03B10 ; 03B05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 184 p.

Mathematisch-naturwissenschaftliche bibliothek , 0018

Localisation : Ouvrage RdC (ASSE)

logique # fonction de vérité # forme logique normale # calcul de prédicat # théorie d'axiomatisation # matrice # calcul propositionnel # automate # implication de Bolzano

03-01 ; 03B05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 79 p.

Mathématiques et sciences de l'homme , 0014

Localisation : Ouvrage RdC (GRIZ)

logique

03-01 ; 03B05 ; 03B10

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 385 p.
ISBN 978-2-10-005452-7

Localisation : Enseignement RdC (CORI)

logique mathématique # calcul proportionnel # logique de Boole # calcul des prédicats # théorème de complétude

03-01 ; 03B05 ; 03B10 ; 03G05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 248 p.
ISBN 978-2-86601-380-6

Traité des nouvelles technologies

Localisation : Ouvrage RdC (LASS)

calcul informatique # calcul lambda # fonction recursive # fondement de l'informatique # fondement des mathématiques # incomplétude # indécidabilité # logiciel d'enseignement # logique # logique de proposition # logique du premier ordre # logique déductive # machine de Turing

03B05 ; 03B15 ; 03B40 ; 03Bxx ; 03Dxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-0-8218-0595-4

Memoirs of the american mathematical society , 0604

Localisation : Collection 1er étage

algèbre de relation # décidabilité # indécidabilité # logique mathématique

03B05 ; 03B25 ; 03G15 ; 08B15

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 462 p.
ISBN 978-2-13-044371-1

Epiméthée

Localisation : Ouvrage RdC (HUSS)

Husserl # arithmétique # histoire # logique de l'arithmétique # numération symbolique # philosphie # représentation de nombre # équivalence

00A30 ; 03A05 ; 03B05 ; 11-03

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 166 p.
ISBN 978-2-225-82567-5

Logique Mathématiques Informatique

Localisation : Ouvrage RdC (BENZ)

algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage rationnel # logique des prédicats # modèle de Turing # programme intératif # résolution par unification # résolution sans variable # résolution sélective # système formel de Hoare # système formel de logique des propositions # système formel de logique du premier ordre # sémantique de la déduction # sémantique de langage du premier ordre algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage ...

03B05 ; 03B10 ; 03B22 ; 03B25 ; 03B30

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 156 p.
ISBN 978-0-631-12497-9

Localisation : Ouvrage RdC (LEWI)

contre positivité # logique # logique des proposition # monde virtuel # philosophie # épistémologie # équation propositionnelle

03B05

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.


ISBN 978-2-10-001683-9

Localisation : Disparu

arbre arborescence # automate # composant d'ordinateur # description récursive des motifs # données relationnelles # expression régulière # graphe # informatique # logique des propositions # logique des prédicats # motif # programme # traitement de données

03B05 ; 03Dxx ; 68-01 ; 68Nxx ; 68Pxx

... Lire [+]

Z