Téléchargez le livre : Introduction pratiqué aux Logiques classiques

Introduction pratiqué aux Logiques classiques

Avec exercices corrigés de

Éditeur :

Hermann


Collection :

HORS COLLECTION

Paru le : 2010-09-09

eBook Téléchargement , DRM LCP 🛈 DRM Adobe 🛈
Lecture en ligne (streaming)
Prix papier : 39,00 € Économisez 12,01€ (-31%)
26,99 €
Téléchargement immédiat
Dès validation de votre commande
Image Louise Reader présentation

Louise Reader

Lisez ce titre sur l'application Louise Reader.

badge apple Application Louise Reader
badge Android Application Louise Reader
Description

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.
Pages
216 pages
Collection
HORS COLLECTION
Parution
2010-09-09
Marque
Hermann
EAN papier
9782705670856
EAN PDF
9782705672775
Informations sur l'ebook
Nombre pages copiables
22
Nombre pages imprimables
108
Taille du fichier
58419 Ko
Prix
26,99 €

Suggestions personnalisées