Logique et démonstration automatique [Texte imprimé] : introduction à la logique propositionnelle et à la logique du premier ordre / Stéphane Devismes,... Pascal Lafourcade,... Michel Lévy,..., Monographie imprimée
Language: français.Country: France.Publication : Paris : Ellipses, DL 2012, Mesnil-sur-l'Estrée : Impr. CPI Firmin DidotDescription: 1 vol. (209 p.) : ill., couv. ill. ; 26 cmISBN: 978-2-7298-7229-8.Series: Technosup, Informatique théorique : les filières technologiques des enseignements supérieursDewey: 511.3, 21Abstract: La logique classique des circuits combinatoires à deux valeurs de vérité est abordée et des exercices corrigés gradués permettent de renforcer la rigueur de raisonnement..Bibliography: Bibliogr. p. [205]. Index.Subject - Topical Name: Logique mathématique Manuels d'enseignement supérieur | 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 Subject: logique (mathématiques) raisonnementItem type | Home library | Collection | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|---|
Prêt normal | BU Chevreul 2ème étage : Economie | Economie et gestion | 510 DEV (Browse shelf (Opens below)) | Available | 0378967435 | ||
Prêt normal | BU Chevreul 2ème étage : Economie | Economie et gestion | 510 DEV (Browse shelf (Opens below)) | Available | 0378967374 |
Niveau A : niveau A ( IUT-BTS-1er cycle)
Bibliogr. p. [205]. Index
La logique classique des circuits combinatoires à deux valeurs de vérité est abordée et des exercices corrigés gradués permettent de renforcer la rigueur de raisonnement.