Introduction pratique aux logiques classiques. Avec exercices corrigés

Bernadet Maurice
HERMANN
43,75 €
Sur commande, 2 à 4 jours
EAN : 9782705670856

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.

Nombre de pages 204
Date de parution 09/09/2010
Poids 356g
Largeur 156mm
Plus d'informations
Plus d'informations
EAN 9782705670856
Titre Introduction pratique aux logiques classiques. Avec exercices corrigés
Auteur Bernadet Maurice
Editeur HERMANN
Largeur 156
Poids 356
Date de parution 20100909
Nombre de pages 204,00 €

Pourquoi choisir Molière ?

 
Efficacité et rapidité Commandé avant 16h livré demain
 
Économique et pratique Livraison à domicile dès 5,10 €
 
Facile et sans frais Retrait gratuit en magasin
 
Sécurité et tranquillité Paiement 100 % sécurisé
 
Disponibilité et écoute Contactez-nous sur WhatsApp