m

F Nous contacter

0

Documents  03D10 | enregistrements trouvés : 20

O
     

-A +A

P Q

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

- 392 p.

Monographie de l'enseignement mathématique , 0030

Localisation : Colloque 1er étage (ZURI)

algorithme # algorithme de fermeture oblique rapide # algèbre de Boole # arithmétique de Peano # complexité algébrique # complexité informatique # logique # machine de Turing # machine à accès aléatoire # problème de décision # théorie de Morse

03D10 ; 03D15 ; 03Fxx

... Lire [+]

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

- 272 p.
ISBN 978-0-8218-3029-1

Proceedings of the Steklov institute of mathematics , 0129

Localisation : Collection 1er étage

03Fxx ; 03D10 ; 60A05 ; 60F05 ; 03D15

... Lire [+]

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


ISBN 978-0-444-87999-8

Studies in logic and the foundations of mathematics , 0120

Localisation : Colloque 1er étage (MANC)

axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles

03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10

... Lire [+]

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

Publications mathematiques de l'universite paris vii , 0030

Localisation : Publication 1er étage

complexite des algorithmes # logique # machine de turing

03D10 ; 68Q15 ; 68Qxx

... Lire [+]

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

- 439 p.
ISBN 978-3-540-56992-3

Lecture notes in computer science , 0702

Localisation : Collection 1er étage

3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul linéaire # langage de programmation # langage de programmation C # langage fonctionnel # logique de base des preuves # logique du point fixe stratifiée # logique linéaire # machine Oracle à temps polynômial # machine de Turing # mathématique discrète # modèle catégorique # prauve de NP-complétude # problème NP-complet # problème d'optimisation NP # programmation logique fonctionnelle # programme de logique complet en négation # prédicat auxiliaire monadique # structuration algorithmique des preuves libres de coupure # sémantique des systèmes de transition comparative # sémantique opérationnelle 3-satisfiabilité # algorithme de temps linéaire # algèbre de déduction communicante # autointerpréteur de lambda calcul # comptage sur des structures finies # déduction et preuve de théorème # définabilité inductive # définabilité logique # entaille de Kleene # fonction partielle d'ordre sumérieur # formalisme de représentation de connaissance # informatique théorique # inséparabilité récursive # jeu de Ehrenfeucht-Fraïssé # lambda calcul ...

03B40 ; 03D10 ; 03D70 ; 18A15 ; 68Qxx

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

- 245 p.

Grundlehren der mathematischen wissenschaften , 0127

Localisation : Collection 1er étage

calcul # fonction recursive # machine de Turing # prédicat d'indécidabilité # variété

03D10 ; 03Dxx ; 68Q05

... Lire [+]

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

- 550 p.
ISBN 978-0-7204-2103-3

Bibliotheca mathematics , 0001

Localisation : Ouvrage RdC (KLEE)

calcul prédicatif # déduction formelle # fonction récursif # logique # logique formelle # machine de Turing # métamathématique # paradoxe # système d'axiome # système formel

00A30 ; 03B22 ; 03D10 ; 03D20

... Lire [+]

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


ISBN 978-2-287-00416-2

Mathématiques & applications , 0012

Localisation : Disparu

algorithme # calcul booleen # complexité # complexité de l'addition des entiers # complexité de l'arithmétique # complexité des logiques du premier ordre # décidabilité # fonction récursive # machine # machine de Turing # machine universelle # simulation d'algorithme

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35

... Lire [+]

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

- 437 p.
ISBN 978-3-540-15299-6

Perspectives in Mathematical Logic

Localisation : Ouvrage RdC (SOAR)

degré de réductibilité # ensemble énumérable recursivement # récursion

03D10 ; 03D25 ; 03D30

... Lire [+]

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

- 317 p.

Prentice-Hall series in automatic computation

Localisation : Ouvrage RdC (MINS)

algèbre et logique symbolique # calcul digital # calcul informatique # calcul symbolique # fonction récursive # informatique théorique # machine de Turing # machine finie # machine infinie # nombre réel calculable # réseau neuronal

03D10 ; 03Dxx ; 68Q05 ; 68Q40 ; 92B20

... Lire [+]

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

- 521 p.
ISBN 978-0-201-53082-7

Localisation : Ouvrage RdC (PAPA)

NP et co NP # algorithme # approximabilité # calcul aléatorisé # calcul parallèle # calculabilité # complexité de calcul # cryptographie # espace logarithmique # espace polynomial # indécidabilité en logique # logique booléenne # logique du premier ordre # machine de Turing # problème NP complet # relation entre classes de complexité # réduction et complétude

03B10 ; 03B25 ; 03D10 ; 03D15 ; 03D35

... Lire [+]

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

- 268 p.
ISBN 978-2-7296-0372-4

Localisation : Ouvrage RdC (WOLP)

automate fini # calcul # complexité # fonction récursive # grammaire # langage # machine de Turing # non calculabilité

03D05 ; 03D10 ; 03D20 ; 68Q45 ; 68Q50

... Lire [+]

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


ISBN 978-2-9029-1894-2

Bibliothèque pour la science

Localisation : Disparu

Gödel # IP= PSPACE # algorithme # automate # calculabilité # cryptographie quantique # désordre # hyperensemble # indécidabilité # informatique # informatique théorique # inférence inductive # logique # machine de Turing # paradoxe # preuve probabiliste # thermodynamique # virus

03D05 ; 03D10 ; 03D35 ; 68Q05 ; 94A60

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

- ix; 157 p.
ISBN 978-1-84800-939-4

Universitext

Localisation : Ouvrage RdC (CHIS)

language formel # informatique # grammaire de Chomsky # machine de Turing # fonction recursive

03D10 ; 03D20 ; 20F10 ; 20F65 ; 68Q05 ; 68Q42 ; 68Q45 ; 68-01

... Lire [+]

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

- 372 p.
ISBN 978-90-01-57070-5

Wolters-Noordhoff series of monographs and textbooks on pure and applied mathematics

Localisation : Ouvrage RdC (MALC)

recursion # fonction recursive # problème de mots # algorithme # équantion diophantienne # fonction arithmétique # réductibilité # machine de Turing # théorème de Church # 10ème problème de Hilbert

03Dxx ; 03D20 ; 03-01 ; 03-02 ; 03D45 ; 03D25 ; 03D35 ; 03D10 ; 03D40 ; 03D03 ; 03B25 ; 68W99 ; 11U05 ; 11D99

... Lire [+]

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

- vii; 203 p.
ISBN 978-0-8218-7392-2

Student mathematical library , 0062

Localisation : Collection 1er étage

théorie de la recursivité # machine de Turing # complexité des calculs # logique de la programmation

03Dxx ; 68Qxx ; 03-01 ; 03D10 ; 03D15 ; 03D60 ; 03D80 ; 03B70 ; 68Q05

... Lire [+]

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

- xv; 322 p.
ISBN 978-0-691-16044-3

Localisation : Ouvrage RdC (LOVE)

théorie de la démonstration # théorie de la calculabilité # logique philosophique

03-01 ; 03A05 ; 03B70 ; 03D10 ; 03D20 ; 03F03

... Lire [+]

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

- 200 p.
ISBN 978-3-540-56899-5

Mathématiques & applications , 0012

Localisation : Collection 1er étage

décidabilité # fonction récursive # algorithme # théorie de la complexité # logique de premier ordre # calcul booléen # arithmétique # machine de Turing

03B25 ; 03D10 ; 03D15 ; 03F30 ; 03F35 ; 68Q05 ; 68Q10 ; 68Q15

... Lire [+]

Z