Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 429 p.
Cote : 00011473
logique de programmation # logique mathématiques # programme
68Q45 ; 68Q55 ; 68S10 ; 68SXX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 358 p.
Cote : 00016437
adaptation # apprentissage # biblog # conception conceptuelle des systèmes informatiques # conception des systèmes informatiques # intelligence artificielle # langage formel # méta-programmation # prolog # système automath # sémantique booléenne # sémantique des situations # sémantique formelle # transformation de programme # vérification de preuve
68Q45 ; 68Q55 ; 68Q60 ; 68T05 ; 68U07
Localisation : Enseignement RdC (Appr)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
Cote : 00017363
calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de récursion # sémantique opérationnelle # théorie de la quantification
[-] calcul propositionnel # calcul sur chaîne # calculabilité # calculabilité en temps polynômial # complexité abstraite # fonction calculable # fonction récursive primitive # grammaire et automate # informatique théorique # langage libre du contexe # langage régulier # langage sensible au contexte # logique # machine de Turing # problème NP-complet # problème insoluble # processus # programme universel # sémantique dénotationnelle d'équation de ...
[+] 03Dxx ; 68Qxx
Localisation : Disparu
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 142 p.
Cote : 00018430
décomposition technologique # détection de la zone critique # factorisation algébrique # modèle de délai # réinjection # réseau programmable # synthèse logique
68M10 ; 90B12
Localisation : Ouvrage RdC (LEVA)
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 112 p.
Cote : 00010389
automatique # complexité # informatique théorique # langage formel # langage naturel # processus
68B15 ; 68C25 ; 68C40 ; 68D05 ; 68DXX
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 164 p.
Cote : 00010390
analyse des programmes # informatique théorique # langage formel # logique modale # sémantique # système formel
03B45 ; 68B10 ; 68C01 ; 68F05 ; 68F20
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 147 p.
Cote : 00012093
calcul # langage formel # logique # outil mathématique de l'informatique # programmation # théorie des nombres
68B10 ; 68C01
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 245 p.
Cote : 00013866
algorithmique # grammaire # langage # logique # sémantique # syntaxe
68N17
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 208 p.
Cote : 00013869
logique # logique temporelle # parallèle # preuve # programmation parallèle # preuve de programme # valet # vérification de programme
03B45 ; 03B70 ; 03Cxx ; 68Q10 ; 68Q60
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 292 p.
Cote : 00013870
pl/cv2 # programmation logique
68N17
Localisation : Collection 1er étage
English