Conception des systèmes logiques
2e année ENSIMAG-C'4 maîtrise informatique. 1, Automates
Livre Ecrit par: Sifakis, J. ; Payon, Charles ; Publié en: 1974
Edition:
Grenoble:
E. N. S. I. M. A. G.
Langue:
Français
Collation:
51 p. ill.
;30 cm.
Index décimal
511.3 .Logique mathématique (axiome du choix, axiomes, calcul des prédicats, calcul propositionnel, décidabilité, hypothèses, langages formels, logique symbolique, opérateurs logiques, théorème de complétude, théorème de Gödel, théorie des types)
