Titre :	Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre
Type de document :	texte imprimé
Auteurs :	Stéphane DEVISMES, Auteur ; Pascal LAFOURCADE, Auteur
Editeur :	Ellipses
Année de publication :	2012
Collection :	TECHNOSUP
Importance :	208pages
ISBN/ISSN/EAN :	978-2-7298-7229-8
Langues :	Français Langues originales : Français
Catégories :	Société
Mots-clés :	Logique /et démonstration/automatique
Index. décimale :	370 Education - enseignement
Résumé :	L'ouvrage ne nécessite pas de connaissances a priori en logique, ni en mathématiques. L'étude se concentre sur la logique classique à deux valeurs de vérété,
Permalink :	./index.php?lvl=notice_display&id=26038

Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Stéphane DEVISMES, Auteur ; Pascal LAFOURCADE, Auteur . - [S.l.] : Ellipses, 2012 . - 208pages. - (TECHNOSUP) .
ISBN : 978-2-7298-7229-8
Langues : Français Langues originales : Français

Catégories :	Société
Mots-clés :	Logique /et démonstration/automatique
Index. décimale :	370 Education - enseignement
Résumé :	L'ouvrage ne nécessite pas de connaissances a priori en logique, ni en mathématiques. L'étude se concentre sur la logique classique à deux valeurs de vérété,
Permalink :	./index.php?lvl=notice_display&id=26038