Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- xv; 327 p.
Cote : 00041556
logique algébrique # lien entre logique et algèbre # logique algébrique tarskienne # algèbre cylindrique # algèbre de relations # algèbre polyadique # théorie des catégories
03-01
Localisation : Ouvrage RdC (UNIV)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 487 p.
Cote : 00006599
conjecture de Fraissé # jeu de Ehrenfaucht # langage formel # ordonnancempent linéaire # théorie de la récursion # théorème de Hausdorff # théorème de Ramsey # théorème de partition
03-01 ; 03-02 ; 06-01 ; 06-02 ; 06Fxx
Localisation : Ouvrage RdC (ROSE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 216 p.
Cote : 00007084
mathématique logique et fondation
03-01
Localisation : Ouvrage RdC (EBBI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 342 p.
Cote : 00005285
cardinal transfini # de Pythagore à Cantor # infinité et esprit # puzzle et paradoxe # qu'est-ce que la vérité? # robot et ame # science et philosophie de l'infini # théorème d'incomplétude de Godel # un et multiple
00A30 ; 01A20 ; 03-01 ; 03A05 ; 03F40
Localisation : Ouvrage RdC (R)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 541 p.
Cote : 00009956
analyse # fondements des mathématiques
03-01 ; 04-01 ; 26-01 ; 28-01 ; 30-01
Localisation : Ouvrage RdC (Fund)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 260 p.
Cote : 00011589
algèbre de Boole # algèbre linéaire # analyse combinatoire # arithmétique # calcul propositionnel # code détecteur # correction d'erreur # fonction booléennes # numération # outils mathématiques de l'informatique # relation # semble
03-01 ; 04-01 ; 05-01 ; 68Qxx
Localisation : Ouvrage RdC (VELU)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 265 p.
Cote : 00012656
logique formelle # programmation logique
03-01 ; 68Qxx
Localisation : Ouvrage RdC (DOWS)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 405 p.
Cote : 00014037
codage arithmétique # équation diophantienne # théorie des nombres logiques
03-01 ; 03F30 ; 10B99 ; 10N05
Localisation : Ouvrage RdC (SMOR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 378 p.
Cote : 00004043
calcul des propositions # calcul fonctionnel du premier ordre # calcul fonctionnel du second ordre # logique mathématique
03-01 ; 03B05 ; 03B10 ; 03B15
Localisation : Ouvrage RdC (CHUR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.