m
     
Ouvrage

H 0 systèmes formels
introduction à la logique et à la théorie des langages

Benzaken, Claude (Principal)

Masson

1991

166 p.

978-2-225-82567-5

00018043

03B05 ; 03B10 ; 03B22 ; 03B25 ; 03B30

algorithme # automate fini # axiomatisation # calcul des propositions # classe de Horn # combinatoire élémentaire des mots d'un alphabet # complexité # concept de théorie # décidabilité # décidabilité et preuve # démonstration automatique # formalisation équationnelle # grammaire générale # grammaire hors contexte # grammaire linéaire # hiérarchie de Chomsky # induction et récursivité # indécidabilité # langage # langage alphabet # langage rationnel # logique des prédicats # modèle de Turing # programme intératif # résolution par unification # résolution sans variable # résolution sélective # système formel de Hoare # système formel de logique des propositions # système formel de logique du premier ordre # sémantique de la déduction # sémantique de langage du premier ordre

Ville d'édition : Barcelone ; Bonn ; Milan ; Paris

Pays d'édition : France

Langue : Français

EAN13 : 9782225825675

ISBN : 2-225-82567-X

Collation : Bibliogr. ; fig.#24 cm#broch. ; index ; xiii

Collection : Logique Mathématiques Informatique

Localisation : Ouvrage RdC (BENZ)

Type d'ouvrage : Monographie

Disponibilité : empruntable


Exemplaires

Nbre d'exemplaires : 1
Cote Code barre Commentaire
1 00018043 [disponible]
Z