Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 79 p.
ISBN 978-0-8218-3111-3
American mathematical society translations (series 2) , 0135
Localisation : Collection 1er étage
arithmétique du premier ordre complexe # axiomes de la théorie des ensembles # logique générale # théorie des modèles
03Bxx ; 03Cxx ; 03E30 ; 03F30 ; 68Q25
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 347 p.
ISBN 978-981-270-895-3
Localisation : Ouvrage RdC (CHAI)
logique mathématique # modèle de calcul # théorie de la démonstration # information algorithmique # complexité de Klomogorov
03-06 ; 00-XX ; 03D10 ; 03F30 ; 03F40 ; 68Q05 ; 68Q30 ; 68Q15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 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 [+]
