Informatique théorique
Type doc. :
Livre
Langue :
Français
Auteur(s) :
Editeur(s) :
Année d'édition :
2012
ISBN :
9782729872298
Afficher le Résumé
Le livre "Informatique théorique - Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre", coécrit par Pascal Lafourcade, Michel Lévy et Stéphane Devismes, est destiné principalement aux étudiants des premiers cycles scientifiques. Il propose une étude de la logique classique à deux valeurs de vérité, renforçant ainsi la rigueur de raisonnement des lecteurs. L'ouvrage comprend de nombreux exercices corrigés, permettant aux étudiants de consolider leur compréhension des concepts abordés.
| N° Bulletin | Date / Année de parution | Titre N° Spécial | Sommaire |
|---|
| Cote | Localisation | Type de Support | Type de Prêt | Statut | Date de Restitution Prévue | Réservation |
|---|---|---|---|---|---|---|
| 004 DEV C1 | BIB-Centrale / Ouvrages | Papier | interne | disponible |
Desvismes, S. et al. (2012). Informatique théorique . Ellipses;