m

Documents  03-01 | enregistrements trouvés : 99

O

-A +A

P Q

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.

- 145 p.
ISBN 978-3-525-33399-0

Kleine vandenhoeck-reihe , 1219

Localisation : Ouvrage RdC (FREG)

01A55 ; 03-01 ; 03A05 ; 03Bxx

... Lire [+]

Déposez votre fichier ici pour le déplacer vers cet enregistrement.

- 356 p.
ISBN 978-0-387-96179-8

Problem books in mathematics

Localisation : Ouvrage RdC (GIND)

00A07 ; 03-01 ; 06-01

... Lire [+]

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.

- 541 p.
ISBN 978-0-262-52095-9

Localisation : Ouvrage RdC (Fund)

analyse # fondements des mathématiques

03-01 ; 04-01 ; 26-01 ; 28-01 ; 30-01

... Lire [+]

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.

- 210 p.

McGraw-Hill series in information porcessing and computers

Localisation : Ouvrage RdC (DAVI)

calculabilité # insolubilité # fonction calculable # fonction récursive # machine de Turing # analyse combinatoire # équation diophantienne # 10ème problème de Hilbert

03Dxx ; 03-01 ; 03-02 ; 03D60 ; 03D20 ; 03D10 ; 03D35 ; 03D03 ; 03D40 ; 11D99 ; 03D55 ; 03D25 ; 03D30 ; 03D80

... Lire [+]

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 [+]

Z