- EAN13
- 9782705670856
- ISBN
- 978-2-7056-7085-6
- Éditeur
- Hermann
- Date de publication
- 09/09/2010
- Collection
- HR.HORS COLLEC.
- Nombre de pages
- 216
- Dimensions
- 23,4 x 15,6 x 1,1 cm
- Poids
- 356 g
- Langue
- français
- Code dewey
- 511.307
- Fiches UNIMARC
- S'identifier
Introduction pratiqué aux Logiques classiques
Avec exercices corrigés
De Maurice Bernadet
Hermann
Hr.Hors Collec.
Offres
Autre version disponible
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.
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.
S'identifier pour envoyer des commentaires.
Autres contributions de...
-
Droit des transports - 2e ed.Isabelle Bon-Garcin, Maurice Bernadet, Philippe DelebecqueDalloz43,00
-
Introduction pratique aux logiques non classiques, avec exercices corrigésMaurice BernadetHermann39,00
-
Inventaire des besoins d'information sur les transports, rapport du groupe de travailFrance, Conseil national de l'information statistiqueConseil national de l'information statistique