Documents  03F30 | enregistrements trouvés : 23

- 320 p.
ISBN 978-0-8218-0577-0

DIMACS series in discrete mathematics and theoretical computer science , 0039

Localisation : Collection 1er étage

arithmétique du premier ordre # classe de complexité # combinatoire # complexite de preuve # fragment # informatique-théorique # logique # mathématique construction # théorie de la preuve # théorie de récursion

03F20 ; 03F30 ; 03F50 ; 68Q15 ; 68R05

... Lire [+]

ISBN 978-0-8218-1447-5

Proceedings of symposia in pure mathematics , 0042

Localisation : Collection 1er étage

03Dxx ; 03Exx ; 03F30 ; 14M05 ; 28A12

... Lire [+]

- xiv; 361 p.
ISBN 978-0-521-85784-0

Cambridge introductions to philosophy

Localisation : Ouvrage RdC (SMIT)

théorème d'incomplétude de Gödel # logique # histoire des mathématiques # arithmétique # épistémologie

03-01 ; 03-02 ; 03-03 ; 03F30 ; 03F40

... Lire [+]

- xii; 417 p.
ISBN 978-0-521-77911-1

Cambridge tracts in theoretical computer science , 0043

Localisation : Ouvrage RdC (TROE)

théorie de la démonstration # logique minimale # logique classique # logique intuitioniste # système naturel de déduction # calcul des séquents # normalisation forte # interpolation # logique combinatoire # logique catégorique # théorème de cohérence # logique linéaire # arithmétique de Heyting # résolution # logique modale

03F03 ; 03-02 ; 03-01 ; 03F52 ; 68N17 ; 03F05 ; 03B40 ; 03G30 ; 03B45 ; 03F30 ; 03F35 ; 03B70

... Lire [+]

- 668 p.
ISBN 978-0-444-87295-1

Studies in logic and the foundations of mathematics , 0125

Localisation : Ouvrage RdC (ODIF)

arithmétique # constructibilité # fondement de la logique # informatique # informatique théorique # logique # mathématique constructible # programmation mathématique # récursion # science de l'informatique # théorie d'ensemble # théorie de la preuve

03Dxx ; 03E45 ; 03F30 ; 68Q05

... Lire [+]

ISBN 978-2-287-00416-2

Mathématiques & applications , 0012

Localisation : Disparu

algorithme # calcul booleen # complexité # complexité de l'addition des entiers # complexité de l'arithmétique # complexité des logiques du premier ordre # décidabilité # fonction récursive # machine # machine de Turing # machine universelle # simulation d'algorithme

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35

... Lire [+]

- 200 p.
ISBN 978-3-540-56899-5

Mathématiques & applications , 0012

Localisation : Collection 1er étage

décidabilité # fonction récursive # algorithme # théorie de la complexité # logique de premier ordre # calcul booléen # arithmétique # machine de Turing

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35 ; 68Q05 ; 68Q10 ; 68Q15

... Lire [+]

- 240 p.
ISBN 978-0-387-09710-7

Lecture notes in mathematics , 0759

Localisation : Collection 1er étage

03-02 ; 03D30 ; 03D35 ; 03F30

... Lire [+]

- 396 p.
ISBN 978-0-19-853450-1

Oxford logic guides , 0027

Localisation : Ouvrage RdC (SMUL)

arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude

03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40

... Lire [+]

- xvi; 247 p.
ISBN 978-0-521-15433-8

London mathematical society lecture note series , 0382

Localisation : Collection 1er étage

complexité # variable aléatoire # analyse mathématique # limite arithmétique # mesure de Loeb # arbre de décision

03F20 ; 03-02 ; 03C62 ; 03F30 ; 68Q17

... Lire [+]

- 172 p.
ISBN 978-1-56881-238-0

Localisation : Ouvrage RdC (TORK)

logique # arithmétique de premier ordre # système formel # théorème de Gödel # décidabilité # théorème d'incompletude # numération de Gödel

03-01 ; 03F30 ; 03F40

... Lire [+]

- v; 101 p.
ISBN 978-1-4704-2657-6

Memoirs of the American Mathematical Society , 1187

Localisation : Collection 1er étage

mathématiques inversées # théorie du modèle calculable # modèle atomique # modèle homogène

03B30 ; 03C07 ; 03C15 ; 03C50 ; 03C57 ; 03D45 ; 03F30 ; 03F35

... Lire [+]

- 306 p.
ISBN 978-0-8218-3474-9

Contemporary mathematics , 0380

Localisation : Collection 1er étage

espace nucléaire # logique # modèle non-standard # théorie des ensembles # ultrafiltre # définissabilité # conjecture de Schanuel

03-06 ; 03C35 ; 03C45 ; 03C60 ; 03C95 ; 03C98 ; 03E05 ; 03E15 ; 03F30 ; 03H15 ; 03Cxx ; 03Exx

... Lire [+]

- 405 p.
ISBN 978-3-540-52236-2

Universitext

Localisation : Ouvrage RdC (SMOR)

codage arithmétique # équation diophantienne # théorie des nombres logiques

03-01 ; 03F30 ; 10B99 ; 10N05

... Lire [+]

- 374 p.
ISBN 978-2-10-005453-4

Localisation : Enseignement RdC (CORI)

logique mathématique # fonction récursive # théorème de Gödel # théorie des ensembles # théorie des modèles

03-01 ; 03D20 ; 03C07 ; 03E30 ; 03F30

... Lire [+]

- 166 p.

Mathématiques et sciences de l'homme , 0006

Localisation : Ouvrage RdC (LORE)

métamathématique # logique # arithmétique # décidabilité # incomplétude # indécidabilité

03-01 ; 03-02 ; 03F65 ; 03F30 ; 03B25

... Lire [+]

- 742 p.
ISBN 978-0-521-06791-1

Localisation : Ouvrage RdC (WHIT)

arithmétique cardinale # convergence # limite de fonction # principe de mathématiques # produit de relations # relation # théorie des séries # Whitehead # oeuvres complètes

03E05 ; 03E10 ; 03F30 ; 04A05 ; 04A10

... Lire [+]

- 372 p.
ISBN 978-0-444-10492-2

Studies in logic and the foundations of mathematics , 0081

Localisation : Ouvrage RdC (TAKE)

démonstration # théorie de la démonstration

03F25 ; 03F30 ; 03Fxx

... Lire [+]

- 490 p.
ISBN 978-0-444-87943-1

Studies in Logic and the Foundations of Mathematics

Localisation : Ouvrage RdC (T)

démonstration # théorie de la démonstration

03F25 ; 03F30 ; 03Fxx

... Lire [+]