Tous nos rayons

Déjà client ? Identifiez-vous

Nouveau client ?

CRÉER VOTRE COMPTE
Votre panier contient 0 article
0,00 €
Introduction pratique aux logiques classiques

Librairie Eyrolles - Paris 5e
Indisponible

Introduction pratique aux logiques classiques

Introduction pratique aux logiques classiques

Avec exercices corrigés

204 pages, parution le 01/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 du livre "Introduction pratique aux logiques classiques"

  PAPIER
Éditeur(s) Hermann
Auteur(s) Maurice Bernadet
Parution 01/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
Sélection de Noël

Avantages Eyrolles.com

Livraison à partir de 0,01 en France métropolitaine (1)

Paiement en ligne SÉCURISÉ

Livraison dans le monde

Retour sous 15 jours

+ de 700 000 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 0 321 79 56 75 sav@commande.eyrolles.com
librairie française
Librairie française depuis 1925