INFORMATIQUE THEORIQUE Logique et démonstration automatique / Stéphane DEVISMES (2012)

Public ISBD Titre : INFORMATIQUE THEORIQUE 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 ; Michel LEVY, Auteur Editeur : Ellipses Année de publication : 2012 Collection : TECHNOSUP Les fillières Technologiques des Enseignements Superieurs Importance : 209 pages ISBN/ISSN/EAN : 978-2-7298-7229-8 Langues : Français Langues originales : Français Catégories : Sciences Mots-clés : INFORMATIQUE/ THEORIQUE/ Logique /et démonstration /automatique Index. décimale : 510 Mathématiques Résumé : destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner Permalink : ./index.php?lvl=notice_display&id=1279 INFORMATIQUE THEORIQUE Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre [texte imprimé] / Stéphane DEVISMES, Auteur ; Pascal LAFOURCADE, Auteur ; Michel LEVY, Auteur . - [S.l.] : Ellipses, 2012 . - 209 pages. - (TECHNOSUP Les fillières Technologiques des Enseignements Superieurs) . ISBN : 978-2-7298-7229-8 Langues : Français Langues originales : Français Catégories : Sciences Mots-clés : INFORMATIQUE/ THEORIQUE/ Logique /et démonstration /automatique Index. décimale : 510 Mathématiques Résumé : destiné principalement aux étudiants des premiers cycles scientifiques, un livre pour leur faire découvrir la logique, renforcer leur rigueur et conforter leur aptitude à raisonner Permalink : ./index.php?lvl=notice_display&id=1279

Réservation

Réserver ce document

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
BIBAT043337	510-0012	Livre	BIBLIOTHEQUE PRINCIPAL	500: العلوم البحثة	Disponible
E28069150000401FF8F969A3	510-0012-01	Livre	BIBLIOTHEQUE PRINCIPAL	500: العلوم البحثة	Disponible

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

Logique et démonstration automatique / Stéphane DEVISMES (2012)

Public ISBD 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

Exemplaires

Code-barres	Cote	Support	Localisation	Section	Disponibilité
BIBAT065614	370-0039	Livre	BIBLIOTHEQUE PRINCIPAL	300: علم الإجتماع	Exclu du prêt
E2806915000050169B121E7C	370-0039-01	Livre	BIBLIOTHEQUE PRINCIPAL	300: علم الإجتماع	Exclu du prêt
E2806915000050169B12227C	370-0039-02	Livre	BIBLIOTHEQUE PRINCIPAL	300: علم الإجتماع	Exclu du prêt

Aucun avis, veuillez vous identifier pour ajouter le vôtre !

---

page 1/1