Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 499 p.
Cote : 00017022
algorithme de Markov # algorithme mathématique # analyse logique du concept de preuve # analyse logique du concept de vérité # calcul de Post # calculabilité # complexité # complexité d'insolvabilité algorithmique # complexité des problèmes de partage logique # fonction récursive primitive # logique # machine de Turing # machine à registres # point fixe # programme universel # récursivité et complexité # système de Thue # sémantique des programmes # sémantique dénotationnelle # sémantique opérationnelle # thèse de Church # théorème de récursion
[-] algorithme de Markov # algorithme mathématique # analyse logique du concept de preuve # analyse logique du concept de vérité # calcul de Post # calculabilité # complexité # complexité d'insolvabilité algorithmique # complexité des problèmes de partage logique # fonction récursive primitive # logique # machine de Turing # machine à registres # point fixe # programme universel # récursivité et complexité # système de Thue # sémantique des ...
[+] 03Dxx ; 03Fxx ; 68Q55 ; 68Qxx
Localisation : Ouvrage RdC (BORG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 482 p.
Cote : 00018512
classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # théorie monadique du second ordre
[-] classe de Shelah # classe décidable et complexité # classe indécidable # classe standard décidable et axiome d'infinité # classe standard et propriété du modèle fini # classe standard indécidable # conjonction de classe à vocabulaire préfixe # fonction ou égalité # formule de Horn ou Krom # logique des prédicats pure # logique indécidable à 2 variables # pavage # problème de décision classique # sous-formule atomique # théorie monadique # ...
[+] 03-02 ; 03B10 ; 03B25 ; 03C13 ; 03D15
Localisation : Ouvrage RdC (BORG)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
y
- vii; 380 p.
Cote : 00039061
traitement réparti # informatique théorique # base de données # concurrence # algorithme distribué
68-06 ; 68Q15 ; 68Q25 ; 00B25 ; 68Q10 ; 68W15 ; 68Q99
Localisation : Ouvrage RdC (TREN)
English