m

F Nous contacter

0

Documents  03F40 | enregistrements trouvés : 14

O
     

-A +A

P Q

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

- 269 p.
ISBN 978-0-7923-2210-8

Mathematics and its applications , 0251

Localisation : Ouvrage RdC (USPE)

Numération de Gödel dans la théorie de la preuve # algorithme non numérique # analyse d'algorithme # applications mathématiques de la théorie des algorithmes # complexité de problème # informatique théorique # machine de Twing # mathématique constructive # théorie algorithmique de l'information

03F40 ; 68Q20 ; 68Q25 ; 68Q30 ; 68Qxx

... Lire [+]

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

- 172 p.
ISBN 978-1-56881-238-0

Localisation : Ouvrage RdC (TORK)

logique # arithmétique de premier ordre # système formel # théorème de Gödel # décidabilité # théorème d'incompletude # numération de Gödel

03-01 ; 03F30 ; 03F40

... Lire [+]

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

- 147 p.
ISBN 978-0-691-08047-5

Annals of mathematics studies , 0047

Localisation : Ouvrage RdC (SMUL)

arithmétique constructive # créativité et effective inséparabilité # incomplétude # indécidabilité # oméga-consistance # représentabilité formelle # système formel mathématique # théorie de Gödel et Rosser # théorie des fonctions récursives # théorie des systèmes formels # énumérabilité récursive

03D20 ; 03D25 ; 03D35 ; 03F40 ; 03Fxx

... Lire [+]

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

- 396 p.
ISBN 978-0-19-853450-1

Oxford logic guides , 0027

Localisation : Ouvrage RdC (SMUL)

arithmétique # logique # logique combinatoire # numération de Gödel # point fixe # récursion # synchronisation # système formel # système récursif # système séquentiel # théorème d"incomplétude

03-01 ; 03-02 ; 03B40 ; 03D20 ; 03D25 ; 03F30 ; 03F40

... Lire [+]

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

- xiv; 361 p.
ISBN 978-0-521-85784-0

Cambridge introductions to philosophy

Localisation : Ouvrage RdC (SMIT)

théorème d'incomplétude de Gödel # logique # histoire des mathématiques # arithmétique # épistémologie

03-01 ; 03-02 ; 03-03 ; 03F30 ; 03F40

... Lire [+]

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

- xiii; 465 p.
ISBN 978-0-521-51769-0

Perspectives in logic

Localisation : Ouvrage RdC (SCHW)

théorie de la démonstration # théorie de la preuve # théorie de la calculabilité # théorème d'incomplétude de Gödel # arithmétique de Peano # récursivité

03-02 ; 03D15 ; 03D65 ; 03F10 ; 03F15 ; 03F35 ; 03F40

... 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.

- 189 p.
ISBN 978-0-19-853189-0

Oxford logic guides , 0009

Localisation : Ouvrage RdC (ROSE)

fonction de base # hiérarchie étendue de Grzegorczyk # induction transfinie # petite classe de type Grzegorczyk # récursion ordinaire et nichée # sous-récursion # théorie de la hiérarchie # théorème d'incomplétude de Godel

03D20 ; 03F15 ; 03F40

... Lire [+]

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

- x; 277 p.
ISBN 978-0-19-875959-1

Localisation : Ouvrage RdC (GODE)

Kurt Gödel # théorème d'incomplétude de Gödel # logique intuitionniste # philosophie # limite de la connaissance

03-06 ; 03A05 ; 03B42 ; 03B70 ; 03F40 ; 68Q55 ; 00B15

... Lire [+]

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

- 176 p.
ISBN 978-0-521-37181-0

Cambridge tracts in theoretical computer science , 0007

Localisation : Ouvrage RdC (GIRA)

logique # théorie de la preuve

03Cxx ; 03F40 ; 03Fxx

... Lire [+]

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

- xx; 649 p.
ISBN 978-2-91-635240-4

Tableau noir

Localisation : Ouvrage RdC (DEHO)

théorie des ensembles # grands nombres cardinaux # théorie de l'infini

03Exx ; 03E10 ; 03E25 ; 03E30 ; 03E35 ; 03E45 ; 03E55 ; 03E60 ; 03B05 ; 03B10 ; 03C07 ; 03D20 ; 03F40

... Lire [+]

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

- 347 p.
ISBN 978-2-225-84080-7

Axiomes

Localisation : Ouvrage RdC (CORI)

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

... Lire [+]

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

- 347 p.
ISBN 978-981-270-895-3

Localisation : Ouvrage RdC (CHAI)

logique mathématique # modèle de calcul # théorie de la démonstration # information algorithmique # complexité de Klomogorov

03-06 ; 00-XX ; 03D10 ; 03F30 ; 03F40 ; 68Q05 ; 68Q30 ; 68Q15

... Lire [+]

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

- 172 p.
ISBN 978-0-8218-1078-1

American mathematical society translations series 2 , 0192

Localisation : Collection 1er étage

classe de complexité # complexité du calcul # grammaire # informatique # langue # linguistique mathématique # logique du langage # logique modale # théorie de preuve

03B45 ; 03B65 ; 03F40 ; 68Q15 ; 68S08

... Lire [+]

Z