Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 392 p.
Cote : 00005322
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
Localisation : Colloque 1er étage (ZURI)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00010134
axiomatique # logiq ue modale # logique # logique com binatoire # logique mathematiques # logique symbolique # recursivite # theorie des sembles
03-06 ; 03B30 ; 03Bxx ; 03Cxx ; 03D10
Localisation : Colloque 1er étage (MANC)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00012583
complexite des algorithmes # logique # machine de turing
03D10 ; 68Q15 ; 68Qxx
Localisation : Publication 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 245 p.
Cote : 00001669
calcul # fonction recursive # machine de Turing # prédicat d'indécidabilité # variété
03D10 ; 03Dxx ; 68Q05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 550 p.
Cote : 00004281
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
Localisation : Ouvrage RdC (KLEE)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 437 p.
Cote : 00012499
degré de réductibilité # ensemble énumérable recursivement # récursion
03D10 ; 03D25 ; 03D30
Localisation : Ouvrage RdC (SOAR)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 439 p.
Cote : 00017041
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
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 268 p.
Cote : 00017458
automate fini # calcul # complexité # fonction récursive # grammaire # langage # machine de Turing # non calculabilité
03D05 ; 03D10 ; 03D20 ; 68Q45 ; 68Q50
Localisation : Ouvrage RdC (WOLP)