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
- 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
- 212 p.
Cote : 00000308
calcul des prédicats # calcul propositionnel # exercice # logique mathématique # modèle
00A07 ; 03-01
Localisation : Ouvrage RdC (KREI)
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
- 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)