Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 360 p.
Cote : 00037053
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
Localisation : Ouvrage RdC (LECO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 280 p.
Cote : 00029551
logique # épistemologie # théorème d'incomplétude # théorie de la démonstration # logique linéaire
03-XX ; 03-99 ; 03A05
Localisation : Ouvrage RdC (GIRA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 77 p.
Cote : 00006060
03A05 ; 03B25 ; 03E60
Localisation : Ouvrage RdC (BOUL)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00013201
complexite # logique # theorie de la preuve
03F20 ; 03Fxx
Localisation : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 176 p.
Cote : 00013007
logique # théorie de la preuve
03Cxx ; 03F40 ; 03Fxx
Localisation : Ouvrage RdC (GIRA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- 178 p.
Cote : 00013389
théorème de Gödel # logique mathématique # théorème d'incomplétude # philosophie
03-03 ; 03A05
Localisation : Ouvrage RdC (THEO)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 389 p.
Cote : 00017649
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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00025002
Localisation : Armoire RdC
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 567 p.
Cote : 00029925
logique mathématique # théorie de la démonstration # épistémologie
03-XX ; 03A05
Localisation : Ouvrage RdC (GIRA)