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.
- 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.
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.
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.
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.
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.
- 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 [+]
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
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.
- 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.
- 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.
- 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.
- 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-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.
- 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.
- 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.
- 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 [+]
