Documents  03F50 | enregistrements trouvés : 15

- 295 p.
ISBN 978-4-931469-02-0

Msj memoirs , 0002

Localisation : Colloque 1er étage (TOKY)

arbre de Böhm # calcul lambda # logique # logique d"ordre supérieur # logique linéaire # modèle lambda # preuve mathématique des systèmes constructifs # système d"attribution de type # théorie des types

03B15 ; 03B40 ; 03F05 ; 03F50 ; 68Q05

... Lire [+]

ISBN 978-0-19-850127-5

Oxford logic guides , 0036

Localisation : Colloque 1er étage (VENI)

analyse constructive # analyse récursive # fondement # logique d'ordre supérieur # mathématique constructive # structure logique # système constructif # théorie de la preuve # théorie des types de logique

03-06 ; 03B15 ; 03F50 ; 03F60 ; 03F65

... Lire [+]

Lecture notes in mathematics , 0125

Localisation : Collection 1er étage

axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve automatique # système d'axiome en preuve de théorème automatique # théorie de la preuve # théorie de la résolution # théorème de complétude de Herbrand # validité constructive axiome d'égalité en démonstration automatique # démonstration automatique # intérêt heuristique d'utilisation de métathéorème # langage automatique automath # langage de formalisation de démonstration automatique nature # paramodulation et ensemble de support # procédure de décision pour théorie catégorique en Alef # procédure de preuve à réduction de matrice # programme de Hilbert # précision des calculs # recherche de procédure de preuve ...

03-06 ; 03F03 ; 03F50 ; 03Fxx ; 18C10

... Lire [+]

- 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 [+]

- 347 p.
ISBN 978-3-540-10850-4

Lecture notes in mathematics , 0873

Localisation : Collection 1er étage

fondement de la logique mathématique # logique mathématique # mathématiques constructives # théorie de la preuve

03-XX ; 03F50 ; 03F55 ; 03F65 ; 03Fxx

... Lire [+]

ISBN 978-0-444-87933-2

Colloquia mathematica societatis janos bolyai , 0048

Localisation : Colloque 1er étage (SIOF)

convexite # geom etrie combinatoire # geometrie discrete # geometrie intuitive # mathematiques intuitives

03F50 ; 03F55 ; 05Bxx ; 53-06

... Lire [+]

Research talks;Logic and Foundations

We discuss classical realizability, a branch of mathematical logic that investigates the computational content of mathematical proofs by establishing a correspondence between proofs and programs. Research in this field has led to the development of highly technical constructions generalizing the method of forcing in set theory. In particular, models of realizability are models of ZF, and forcing models are special cases of realizability models.

03E70 ; 03F50 ; 03F55

... Lire [+]

- 343 p.
ISBN 978-0-521-45205-2

Encyclopedia of mathematics and its applications , 0060

Localisation : Collection 1er étage

arithmétique borné # calcul # complexité # logique # mathématique constructive # proposition logique # système de Frege # système de preuve optimal

03F50 ; 03Fxx

... Lire [+]

- 149 p.
ISBN 978-0-521-31802-0

London mathematical society lecture note series , 0097

Localisation : Collection 1er étage

analyse constructive # constructibilité # intuitivité # logique mathématiques # logique symbolique # mathématiques constructives # mathématiques intuitives

03E45 ; 03F50 ; 03F55 ; 03F60

... Lire [+]

- 237 p.
ISBN 978-90-6196-244-1

Mathematical centre tracts , 0152

Localisation : Collection 1er étage

mathéma tiques intuitives # mathématiques constructives # théorie de la preuve logique mathématiques # théorie des modèles

03C65 ; 03C90 ; 03F25 ; 03F50 ; 03F55

... Lire [+]

- 346 p.
ISBN 978-0-8218-4513-4

Translations of mathematical monographs , 0060

Localisation : Collection 1er étage

03F50

... Lire [+]

- 466 p.
ISBN 978-0-387-12173-4

Ergebnisse der mathematik und ihrer grenzgebiete 3 folge , 0006

Localisation : Ouvrage RdC (BEES)

logique mathématique et base # théorie de preuve et mathématique constructive # philosophie mathématique

03F65 ; 00A30 ; 03F50 ; 03F55 ; 03F60

... Lire [+]

- 637 p.
ISBN 978-0-444-85305-9

Studies in logic and the foundations of mathematics , 0100

Localisation : Ouvrage RdC (MOSC)

A-Borel # Kappa-Suslin # espace polonais # métamathématique # théorie de structure pour classe de points # théorie des ensembles descriptive # théorie efficace # théorème de récursion # univers comstructible # univers des jeux

03E15 ; 03F50 ; 04A15 ; 90Dxx

... Lire [+]

- 467 p.
ISBN 978-0-19-853158-6

Oxford logic guides

Localisation : Ouvrage RdC (DUMM)

formalisation # logique intuitioniste # mathématique intuitioniste # preuve constructive # suite de choix

03F50 ; 03F55 ; 03F60 ; 03F65

... Lire [+]