Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 333 p.
Philosophies par l'age de la science
Localisation : Ouvrage RdC (BOUD)
logique et fondation # système formel non classique # théorie de la probabilité et prosessus stochastique # axiome
03B99 ; 00A30 ; 60A05 ; 03-03 ; 03-01 ; 60-03 ; 60-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 487 p.
ISBN 978-0-12-597680-0
Pure and applied mathematics , 0098
Localisation : Ouvrage RdC (ROSE)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 216 p.
ISBN 978-0-387-90895-3
Undergraduate texts in mathematics
Localisation : Ouvrage RdC (EBBI)
mathématique logique et fondation
03-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 342 p.
ISBN 978-3-7643-3034-7
Localisation : Ouvrage RdC (R)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 260 p.
ISBN 978-2-04-018617-3
Localisation : Ouvrage RdC (VELU)
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
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 670 p.
Collection enseignement des sciences , 0005
Localisation : Ouvrage RdC (GODE)
algèbre # anneau # corps # espace vectoriel # fonction # logique # lois de composition # nombre complexe # nombre entier # semble # semble finis
03-01 ; 04-01 ; 12-01 ; 15-01 ; 20-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 265 p.
ISBN 978-0-632-01612-9
Computer science texts
Localisation : Ouvrage RdC (DOWS)
logique formelle # programmation logique
03-01 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 182 p.
ISBN 978-0-632-01307-4
Computer science texts
Localisation : Ouvrage RdC (RAYW)
calculabilité
03-01 ; 03D15 ; 68Qxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 405 p.
ISBN 978-3-540-52236-2
Universitext
Localisation : Ouvrage RdC (SMOR)
codage arithmétique # équation diophantienne # théorie des nombres logiques
03-01 ; 03F30 ; 10B99 ; 10N05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 286 p.
ISBN 978-0-387-90243-2
Graduate texts in mathematics , 0053
Localisation : Collection 1er étage
logique # logique mathématique # logique symbolique
03-01 ; 03Bxx ; 03Dxx
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 257 p.
ISBN 978-0-8014-0727-7
Localisation : Ouvrage RdC (CHIH)
ontologie # philosophie des mathématiques de Poincaré # platonisme ontologie de Godel # platonisme ontologie de Quine # principe de cercle vicieux
03-01 ; 03A05
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 378 p.
Princeton mathematical series , 0017
Localisation : Ouvrage RdC (CHUR)
calcul des propositions # calcul fonctionnel du premier ordre # calcul fonctionnel du second ordre # logique mathématique
03-01 ; 03B05 ; 03B10 ; 03B15
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 89 p.
Collection de logique mathématique , 0013
Localisation : Ouvrage RdC (DUBA)
formalisme logico-mathématique # logique mathématique # unification logico-mathématique
03-01 ; 03Bxx ; 68Q45
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Actualités scientifiques et industrielles , 0045
Localisation : Réserve
physique # relativité # synthèse
03-01 ; 83-03
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 212 p.
Monographies de la Société Mathématique de France , 0003
Localisation : Ouvrage RdC (KREI)
calcul des prédicats # calcul propositionnel # exercice # logique mathématique # modèle
00A07 ; 03-01
... Lire [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
- 127 p.
International series on monographs in pure and applied mathematics , 0031
Localisation : Ouvrage RdC (LUKA)
axiomatique # fondement # logique mathématique # prédicat # quantificateur # règle d'inférence # syllogisme d'Aristote # épistémologie
03-01 ; 03A05 ; 03B30 ; 03Bxx
... Lire [+]