Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 263 p.
ISBN 978-4-902578-04-1
Localisation : Colloque 1er étage (TOKY)
philosophie # sémantique # logique intuitionniste
03AXX ; 00A30 ; 03A10
... 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.
- 389 p.
ISBN 978-0-521-55961-4
London mathematical society lecture note series , 0222
Localisation : Collection 1er étage
algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # théorie de la preuve # théorie des ensembles
algèbre et linguistique # calcul résultant pour logique du second ordre # catégorie # complexité et expressivité # décision de prouvabilité de formule de logique linéaire # hypercohérence # héritage avec exception # intéraction stochastisque # logique bilinéaire # modèle stable fortement de logique linéaire # simulation directe de machine de Minsky # structure finie de règle exponentielle # syntaxe et sémantique # théorie de la complexité # ...
03B15 ; 03Bxx ; 03C45 ; 03D15 ; 68S05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 176 p.
ISBN 978-0-521-37181-0
Cambridge tracts in theoretical computer science , 0007
Localisation : Ouvrage RdC (GIRA)
logique # théorie de la preuve
03Cxx ; 03F40 ; 03Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
ISBN 978-88-7088-123-3
Studies in proof theory
Localisation : Disparu
complexite # logique # theorie de la preuve
03F20 ; 03Fxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 360 p.
ISBN 978-2-84225-058-4
Le sel et le fer , 0012
Localisation : Ouvrage RdC (LECO)
histoire des mathématiques # théorie de la démonstration # programme de Hilbert # logique linéaire # nombre entier # cryptologie # fonction modulaire # transcendance # ensemble rectifiable # controlabilité # topologie # forme différentielle # nombre p-adique # représentation de Galois # équation diophantienne # courbe algébrique # groupe fondamental # marche aléatoire
00B15 ; 00A05 ; 01A60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 178 p.
ISBN 978-2-02-32778-7
Points
Localisation : Ouvrage RdC (THEO)
théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie
03-03 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 178 p.
ISBN 978-2-02-010652-8
Collection sources du savoir
Localisation : Ouvrage RdC (THEO)
théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie
03-03 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 567 p.
ISBN 978-270-566634-7
Visions des sciences
Localisation : Ouvrage RdC (GIRA)
logique mathématique # théorie de la démonstration # épistémologie
03-XX ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 280 p.
ISBN 978-2-7056-6633-0
Vision des sciences
Localisation : Ouvrage RdC (GIRA)
logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire
03-XX ; 03-99 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 174 p.
ISBN 978-2-02-036928-2
Points
Localisation : Ouvrage RdC (TURI)
fonction récursive # complexité de calcul # fonction calculable # machine de Turing # théorie des automates mathématiques
03A05 ; 00A30 ; 68T01 ; 01A60
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
