Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 1174 p.
Cote : 00013685
algèbre booléenne # fondement de la logique mathématique # logique mathématique # théorie des ensembles # théorie des modèles
03-06 ; 03-XX ; 03Cxx ; 03Exx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 431 p.
Cote : 00004230
combinatoire # logique # logique combinatoire
03-XX ; 05-XX
Localisation : Ouvrage RdC (CURR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 292 p.
Cote : 00012088
automate # compilateur # complexité # informatique théorique # langage formel # logique # métathéorie # théorie des automates
03-XX ; 68-XX ; 94-XX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 324 p.
Cote : 00012099
algorithme # analyse numérique # automate # complexité informatique # inductivité # informatique théorique # logique # machine # théorie de l'information # théorie des langages
03-XX ; 05-04 ; 68-06 ; 68-XX ; 94-XX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00019995
linguistique # logique # logique mathématique # logique symbolique # sémantique # traitement du langage naturel
00A30 ; 03-00 ; 03-XX ; 68Q55 ; 68Qxx
Localisation : Ouvrage RdC (H)
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.
y
- 335 p.
Cote : 00040042
histoire des idées mathématiques # épistémologie des mathématiques # théorie des nombres transcendants # problème des quatre couleurs # dixième problème de Hilbert # théorie des catégories
01-06 ; 03-XX
Localisation : Histoire des sciences RdC
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 146 p.
Cote : 00000181
00A30 ; 03-XX ; 03AXX
Localisation : Ouvrage RdC (HEYT)
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
Cote : 00000175
analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # problème de Post # réalisabilité de Kleene # récursion et induction monotone # structure de Frege # théorie de la preuve et analyse non standard # théorie du premier ordre
[-]
analyse intuitioniste # arithmétique de Peano # automate fini # connecteur intuitionniste # degré de Kleene # divise # ensemble analytique # ensemble projectif # fonctionnelle récursive # groupe abélien # induction bar # j-expression de Kleene # lambda calcul # logique combinatoire # logique du second ordre # mathématique intuitioniste formalisée # méthode du porteur occupé # opérateur de saut et hiérarchie # ordonnancement de réductiblité # ...
[+]
03-XX
Localisation : Colloque 1er étage (MADI)