Tous nos rayons

Déjà client ? Identifiez-vous

Mot de passe oublié ?

Nouveau client ?

CRÉER VOTRE COMPTE
Introduction pratique aux logiques classiques
Ajouter à une liste

Librairie Eyrolles - Paris 5e
Indisponible

Introduction pratique aux logiques classiques

Introduction pratique aux logiques classiques

Avec exercices corrigés

Maurice Bernadet

204 pages, parution le 09/09/2010

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
Voir tout
Replier

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

Livraison à partir de 0,01 en France métropolitaine
Paiement en ligne SÉCURISÉ
Livraison dans le monde
Retour sous 15 jours
+ d'un million et demi de livres disponibles
satisfait ou remboursé
Satisfait ou remboursé
Paiement sécurisé
modes de paiement
Paiement à l'expédition
partout dans le monde
Livraison partout dans le monde
Service clients sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925
Recevez nos newsletters
Vous serez régulièrement informé(e) de toutes nos actualités.
Inscription