Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 237 p.
Cote : 00011173
algèbre universelle # langage naturel # linguistique mathématiques # logique # logique mathématiqu es # logique modale # logique symbolique
03B45 ; 03B65 ; 08A40 ; 08A55 ; 68S10
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
- 654 p.
Cote : 00018632
algorithme de graphe # algorithme parallèle # apprentissage # base de données # calcul distribué # combinatoire # conception combinatoire # géométrie informatique # logique distribuée # modèle de machine # planification # théorie de la complexité # tracé de graphe
05Cxx ; 68Q20 ; 68Q25 ; 68Q30 ; 68R05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 419 p.
Cote : 00019677
algorithme non numérique # analyse des algorithmes # calcul # combinatoire # complexité des problèmes # grammaire # informatique de la géométrie # informatique théorique # modélisation d'objet # opération et gestion # réseau # réécriture des systèmes # système distribué # système informatique # théorie de l'information algorithmique # théorie des graphes
05Cxx ; 68Q20 ; 68Q25 ; 68Q30 ; 68R05
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 164 p.
Cote : 00022074
algorithmique de graphe # combinatoire # générateur # informatique théorique # mode de calcul # problème de mots # relation # réécriture des systèmes # semi-groupe libre # théorie des graphes
05C85 ; 20M05 ; 68Q10 ; 68Q42 ; 68R15
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 191 p.
Cote : 00010070
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 284 p.
Cote : 00013564
algèbre de Boole # analyse des programmes # arbre # compilation # compileur # complexité # construction # formalisme # générateur de programme # grammaire # reconnaissance machine # symbole # transport connection # unification
68N20 ; 68Qxx
Localisation : Collection 1er étage
Déposez votre fichier ici pour le déplacer vers cet enregistrement.
V
- 329 p.
Cote : 00013867
complexité # informatique théorique # parallèle
68Q10 ; 68Q15 ; 68Q25
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
English