Prêtable
| Titre : | Logique et démonstration automatique : Introduction à la logique propositionnelle et à la logique du premier ordre |
| Auteurs : | Stéphane Devismes ; Pascal Lafourcade ; Michel Lévy |
| Type de document : | texte imprimé |
| Editeur : | Paris [France] : Editions Ellipses, 2012 |
| Collection : | TechnoSup, Dirigée par : Chèze Claude |
| ISBN/ISSN/EAN : | 978-2-7298-7229-8 |
| Format : | 209 p. / couv. en coul. / 24 cm. |
| Langues: | Français |
| Langues originales: | Français |
| Index. décimale : | 005.131 (Logique symbolique (Principes mathématiques des langages de programmation))) |
| Catégories : | |
| Mots-clés: | Logique propositionnelle ; Logique du premier ordre |
| Résumé : |
L'ouvrage : niveau A (IUT - BTS -1er cycle). La simulation de travaux pratiques, désormais accessible à tous. permet de réaliser, même chez soi, des manipulations préparant à la réalité du laboratoire d'essai, en développant l'organisation des montages, les méthodes de mesure, les modes opératoires ou le réglage des paramètres. L'ouvrage présente ainsi 23 manipulations dans les divers domaines de l'électrotechnique, portant notamment sur : la puissance, les diagrammes de Fresnel, la détermination des caractéristiques des transformateurs et des machines synchrones et asynchrones, l'éolienne et le panneau voltaïque, les filtres, les redresseurs, hacheurs et onduleurs, les systèmes bouclés, les correcteurs P et PI. l'asservissement de vitesse... Les solutions sont développées par simulation avec le logiciel PSIMDEMO.
|
| Note de contenu : |
Sommaire :
Chapitre 1: Logique propositionnelle -Logique propositionnelle -Résolution propositionnelle -Déduction naturelle Chapitre 2: Logique du premier ordre -Logique du premier ordre -Base de la démonstration automatique -Déduction naturelle au premier ordre : quantificateurs, copie et égalité |
Exemplaires (4)
| Cote | Support | Localisation | Section | Disponibilité |
|---|---|---|---|---|
| F8/10288 | Livre | Bibliothèque de la Faculté de Technologie | Section documentaire | Disponible |
| F8/10289 | Livre | Bibliothèque de la Faculté de Technologie | Section documentaire | Disponible |
| F8/10290 | Livre | Bibliothèque de la Faculté de Technologie | Section documentaire | Disponible |
| F8/10291 | Livre | Bibliothèque de la Faculté de Technologie | Section documentaire | Disponible |
