en savoir plus
Permet à tous ses détenteurs d'obtenir 5% de réduction sur tous les livres lors du retrait en magasin (réduction non cumulable avec les réductions de type étudiant).
Offre également un certain nombre d'avantages auprès de nos partenaires.
Avec les favoris, retrouvez dans un espace les sélections effectuées au fur et à mesure de vos navigations dans le site.
Constituez pour votre usage personnel vos listes de livres en prévisions d'achats futurs et votre sélection d'articles, dossiers, événements, vidéos ou podcasts préférés ou à découvrir plus tard...
Il suffit simplement de cliquer sur "Ajout Favori" sur chaque page qui vous intéresse pour les retrouver ensuite dans votre espace personnel.
Requiert un compte Mollat
Requiert un compte Mollat
Manuel sur la modélisation des raisonnements dans les syctèmes informatiques : logique des propositions, logique des prédicats d'ordre, etc. Avec des exemples tirés de domaines variés et des exercices corrigés. ©Electre 2024
Introduction Pratique aux Logiques Classiques
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.
Paru le : 07/06/2010
Thématique : Généralités traitement informatique
Auteur(s) : Auteur : Maurice Bernadet
Éditeur(s) :
Hermann
Collection(s) : Non précisé.
Série(s) : Non précisé.
ISBN : 978-2-7056-7085-6
EAN13 : 9782705670856
Reliure : Broché
Pages : 203
Hauteur: 22.0 cm / Largeur 16.0 cm
Épaisseur: 1.1 cm
Poids: 356 g