Aller sur ActuaLitte.com

Accueil de la bibliothèque > Introduction pratique aux logiques classiques

Livre numérique

Introduction pratique aux logiques classiques

illustration du livre Introduction pratique aux logiques classiques

Résumé Les logiques formelles ont pour but d'etudier et de modeliser des raisonnements; leur etude peut correspondre a un interet intellectuel naturel, aussi bien qu'au souhait de reproduire des raisonnements humains dans des systemes informatiques. Cet ouvrage, construit a partir d'un enseignement destine a des eleves-ingenieurs, a ete elargi pour concerner un plus large public. Il traite principalement de la logique des propositions et de la logique des predicats d'ordre un; il se concentre sur les aspects pratiques, en particulier les methodes de formalisation et de validation de raisonnements. Un survol d'autres logiques classiques (predicats d'ordre un avec egalite, predicats d'ordre superieur a un) est suivi d'une synthese des aspects theoriques. Ce livre propose de nombreux exemples et exercices, inspires de domaines varies. Il utilise, en particulier, des exemples sur les compositeurs de musique, les arts plastiques, la medecine, sans en considerer les aspects techniques, mais en restant a un niveau general. D'autres exemples concernant les chats, les chiens, les souris... presentent un certain aspect ludique. La plupart des exercices sont corriges de maniere detaillee.
Auteur Maurice Bernadet
Date de publication 2010
Domaine public nc
Editeur Hermann
ISBN 10 2705670858
ISBN 13 9782705670856
Nombre de pages 203
Dimensions largeur 15.80 cm
Dimensions Hauteur 22.00 cm
Dimensions épaisseur 1.10 cm
Télécharger en EPUB n/a
Télécharger en PDF n/a

 

ActuaLité

Yann Moix se prépare à intégrer l'émission On n'est pas couché
En remplacement du clivant Aymeric Caron, Yann Moix fera son entrée dans l'émission « On n'est pas couché », sur France 2, à partir de la prochaine rentrée. Interrogé par RTL, l'écrivain a assuré se préparer consciencieusement à cette nouvelle aventure, rapporte Gala.   Mais, au...

Quand l'écrivain Sylvain Tesson interroge Gérard Depardieu
L'écrivain Sylvain Tesson est allé à la rencontre de l'acteur Gérard Depardieu, dans sa maison parisienne du sixième arrondissement. L'entretien, réalisé pour le magazine Vanity Fair, donne à voir un acteur bien mélancolique, rapporte Le Point.   A l'affiche du film Valley of Love,...

Le Royaume-Uni agité : éditeurs et marchands s'empoignent en silence
La presse savoure déjà, et à tort, le conflit annoncé entre Penguin Random House et Amazon. Un passionnant épisode estival qui s'approche, pour remplir les longues journées des juilletistes et aoûtiens. Bien entendu, la dispute n'intervient, pour l'instant, que sur le territoire britannique,...

Laurence Peyrin reçoit le Prix Maison de la Presse 2015
Un jury de 20 professionnels du livre et de la distribution présidé par Katherine Pancol a remis le 20 mai dernier le Prix Maison de la Presse à Laurence Peyrin pour son deuxième roman, La drôle de vie de Zelda Zonk, publié chez Kero. Une cérémonie organisée au Centre National du Livre,...

Les gentlemen extraordinaires d'Alan Moore, de nouveau au cinéma
Le comics d'Alan Moore et de Kevin O'Neill, La Ligue des gentlemen extraordinaires, va de nouveau être adapté pour le cinéma, par Century Fox. L'œuvre met en scène plusieurs personnages de la littérature du XIXe siècle, comme le Dr Jekyll et son alter ego maléfique, M. Hyde (Robert Louis...

 

Bienvenue dans la nouvelle bibliothèque de livres numériques de ActuaLitté, en partenariat avec Google Livres.
Ce livre écrit par Maurice Bernadet.
Le livre s'appelle Introduction pratique aux logiques classiques et a été publié en 2010.
Vous pouvez également retrouver des milliers d'autres livres numériques dans la bibliothèque numérique de ActuaLitté.

pub

Suivez-nous

Désinscription

pub

Sondage

Le livre audio, ça vous fait quoi ?

 

 

 

 

 

 

 

 

© 2017 - actualitté.com