Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- viii; 279 p.
ISBN 978-1-4704-1668-3
Contemporary mathematics , 0658
Localisation : Collection 1er étage
logique mathématique # algèbre linéaire # équation aux dérivées partielles # calcul de variations # analyse numérique # relativité
03B15 ; 03F50 ; 15A23 ; 35A22 ; 35B30 ; 35Q35 ; 35R30 ; 49M25 ; 65F15 ; 83E15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 346 p.
ISBN 978-0-8218-4513-4
Translations of mathematical monographs , 0060
Localisation : Collection 1er étage
03F50
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]