Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 412 p.
Cote : 00027399
logique # calcul propositionnel # calcul de prédicat # théorie des modèles # théorie de la démonstration # décidabilité # calculabilité # fondement des mathématique s # machine de Turing # théorème de Church # théorème de Gödel # théorème de Gentzen # théorème d'Herbrand # interpolation de Craig # théorème de complétude de Gödel # théorème de Löwenheim-Skolem
03-01
Localisation : Ouvrage RdC (KLEE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 164 p.
Cote : 00037383
logique # sémantique # ensemble # algèbre # topologie
03-01
Localisation : Ouvrage RdC (PONA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 347 p.
Cote : 00015782
algèbre de Boole # calcul des prédicats # calcul proportionnel # logique mathématique # théorème de complétude
03B05 ; 03C35 ; 03G05
Localisation : Ouvrage RdC (CORI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 385 p.
Cote : 00025958
logique mathématique # calcul proportionnel # logique de Boole # calcul des prédicats # théorème de complétude
03-01 ; 03B05 ; 03B10 ; 03G05
Localisation : Enseignement RdC (CORI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 347 p.
Cote : 00015781
fonction récursive # logique mathématique # théoeir des modèles # théorie des ensembles # théorème de Gödel
03Cxx ; 03D20 ; 03Exx ; 03F40
Localisation : Ouvrage RdC (CORI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 374 p.
Cote : 00025959
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
Localisation : Enseignement RdC (CORI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- pag. mult.
Cote : 00004162
algèbre de relation # calcul logique # logique formelle
03-XX
Localisation : Ouvrage RdC (FRAI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 105 p.
Cote : 00005477
Localisation : Salle de manutention
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00416202
axiomatique # logique formelle # logique mathematique s # theorie des modeles
03-XX
Localisation : Ouvrage RdC (FRAI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00416201
algebre de relation # calcul logique # logique # logique formelle
03-XX
Localisation : Ouvrage RdC (FRAI)