Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre

Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre

Une étude limitée à la logique classique à deux valeurs de vérité (logique qui est celle des circuits combinatoires) pour renforcer rigueur de raisonnement et conforter l'aptitude à raisonner, avec de nombreux exercices corrigés gradués

Détails bibliographiques
Auteurs principaux : Devismes Stéphane (Auteur), Lafourcade Pascal (Auteur), Lévy Michel (Auteur)
Format : Manuel
Langue : français
Titre complet : Logique et démonstration automatique : introduction à la logique propositionnelle et à la logique du premier ordre / Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,...
Publié : Paris : Ellipses , C 2012
Description matérielle : 1 vol. (209 p.)
Collection : Technosup Informatique les filières technologiques des enseignements supérieurs [dir. par Claude Chèze]
Technosup (Paris)
Sujets :
Logique du premier ordre > Manuels d'enseignement supérieur
Calcul des propositions > Manuels d'enseignement supérieur
Boole, Algèbre de > Manuels d'enseignement supérieur
Théorèmes > Démonstration automatique > Manuels d'enseignement supérieur
Algorithmes > Manuels d'enseignement supérieur

BU Sciences

Informations d'exemplaires de BU Sciences
‌ Cote Prêt Statut
Rez-de-chaussée, salle 2 005.131 DEV Empruntable Disponible
Rez-de-chaussée, salle 2 005.131 DEV Empruntable Disponible
Rez-de-chaussée, salle 2 005.131 DEV Empruntable Emprunté
Date de retour 16/09/2024

Bib. IUT de Nantes - Carquefou

Informations d'exemplaires de Bib. IUT de Nantes - Carquefou
‌ Cote Prêt Statut
Site Carquefou 005.1 DEV Prêt sans prolongation Disponible