Introduction pratique aux logiques classiques
Avec exercices corrigés
Résumé
Les logiques formelles ont pour but d'étudier et de modéliser des raisonnements ; leur étude peut correspondre à un intérêt intellectuel naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans des systèmes informatiques.
Cet ouvrage, construit à partir d'un enseignement destiné à des élèves-ingénieurs, a été élargi pour concerner un plus large public. Il traite principalement de la logique des propositions et de la logique des prédicats d'ordre un ; il se concentre sur les aspects pratiques, en particulier les méthodes de formalisation et de validation de raisonnements. Un survol d'autres logiques classiques (prédicats d'ordre un avec égalité, prédicats d'ordre supérieur à un) est suivi d'une synthèse des aspects théoriques.
Ce livre propose de nombreux exemples et exercices, inspirés de domaines variés. Il utilise, en particulier, des exemples sur les compositeurs de musique, les arts plastiques, la médecine, sans en considérer les aspects techniques, mais en restant à un niveau général. D'autres exemples concernant les chats, les chiens, les souris... présentent un certain aspect ludique.
La plupart des exercices sont corrigés de manière détaillée.
L'auteur - Maurice Bernadet
Maurice Bernadet, ingénieur Sup'Elec, enseigne l'informatique à l'École Polytechnique de l'Université de Nantes. Ses thèmes de recherche concernent les systèmes multi-agents et la découverte de connaissances (floues, en particulier) à partir de bases de données. Déjà paru aux éditions Hermann par le même auteur : Introduction pratique aux logiques classiques.
Autres livres de Maurice Bernadet
Sommaire
- Logique des Propositions
- Logique des Prédicats du Premier Ordre
- Aperçu sur d'Autres Logiques Classiques
- Éléments de Logique Théorique
- Corrigés des Exercices
- Annexes
Caractéristiques techniques
| PAPIER | |
| Éditeur(s) | Hermann |
| Auteur(s) | Maurice Bernadet |
| Parution | 09/09/2010 |
| Nb. de pages | 204 |
| Format | 16 x 22 |
| Couverture | Broché |
| Poids | 330g |
| Intérieur | Noir et Blanc |
| EAN13 | 9782705670856 |
| ISBN13 | 978-2-7056-7085-6 |
Avantages Eyrolles.com
Consultez aussi
- Les meilleures ventes en Graphisme & Photo
- Les meilleures ventes en Informatique
- Les meilleures ventes en Construction
- Les meilleures ventes en Entreprise & Droit
- Les meilleures ventes en Sciences
- Les meilleures ventes en Littérature
- Les meilleures ventes en Arts & Loisirs
- Les meilleures ventes en Vie pratique
- Les meilleures ventes en Voyage et Tourisme
- Les meilleures ventes en BD et Jeunesse
- Informatique Développement d'applications Techniques de programmation Logique
- Sciences Mathématiques Mathématiques par matières Algèbre Cours
- Sciences Mathématiques Mathématiques par matières Algèbre Exercices
- Sciences Mathématiques Mathématiques par matières Logique
- Sciences Mathématiques Mathématiques par matières Théorie des ensembles
- Sciences Etudes et concours Classes préparatoires et grandes écoles - Livres classes prépas scientifiques Mathématiques
