La logique

Gilles Dowek - Collection Le Pommier poche

128 pages, parution le 23/02/2015

Ajouter à une liste

Expédié sous 6 jours

Livraison à partir de 0,01€ dès 35€ d'achats
Pour une livraison en France métropolitaine

Retrait à la librairie - Paris 5e

Disponible dès demain

QUANTITÉ

Résumé

Très valorisé dans notre monde "raisonnable", le raisonnement n'est pas le seul moyen d'accéder à la vérité. Parfois introduit comme un prolongement du calcul, le raisonnement se révèle a posteriori d'une nature très différente : il ne repose pas sur une méthode systématique, de donne pas toujours une réponse, et sa cohérence ne peut pas être démontrée ! Mais comprendre la nature du raisonnement aide-t-il à raisonner ? Selon Gilles Dowek, la réponse est à trouver dans les propriétés mêmes du raisonnement ! La logique, quant à elle est une étape annoncée et nécessaire de la pensée déductive.

Mathématicien, logicien et informaticien, Gilles Dowek est chercheur et directeur de recherche à l'INRIA. Auteur des Métamorphoses du calcul, grand prix de philosophie de l'Académie française, de plusieurs ouvrages de vulgarisation, dont deux "Petites Pommes du savoir" et un volume de la collection "Le collège de la cité", il a obtenu en 2000 le Prix d'Alembert des lycéens de la Société Mathématique de France. Il est également l'auteur de plusieurs ouvrages d'enseignement de l'informatique.

L'auteur - Gilles Dowek

Gilles Dowek est un chercheur, informaticien et écrivain français, né en 1965. Il un ancien élève de L'École polytechnique (promotion X1985). L’auteur est titulaire d'un doctorat en informatique de l'Université Paris 7 et est spécialisé dans le domaine de la logique et de la vérification formelle des programmes. Il est également directeur de recherche à l'Institut National de Recherche en Informatique et en Automatique (INRIA).

En parallèle de sa carrière scientifique, Gilles Dowek s'est distingué en tant qu'auteur, abordant des sujets complexes tels que l'intelligence artificielle et les algorithmes, tout en explorant la nature du langage et de la communication humaine. Au-delà de ses écrits, Gilles Dowek est un chercheur reconnu dans le domaine de l'informatique. Ses travaux sur la vérification formelle des programmes ont contribué à renforcer la fiabilité et la sécurité des logiciels. En tant que directeur de recherche à l'INRIA, il participe activement au développement de projets innovants dans le domaine de l'intelligence artificielle et de la logique.

Dans cet ouvrage Intelligence artificielle, il explore les notions d'apprentissage automatique et d'intelligence des machines. Dowek dissèque les mythes et les réalités entourant l'IA, tout en mettant en garde contre les idées reçues et les espoirs excessifs placés en cette technologie. Il souligne la nécessité de comprendre les limites de l'IA et d'envisager son rôle dans la société avec précaution et discernement.

Photographie © Wikipedia

Autres livres de Gilles Dowek

Ce dont on ne peut parler il faut l'écrire

Intelligence artificielle

Les métamorphoses du calcul

Le temps des algorithmes

Découvrir tous les livres de Gilles Dowek

Caractéristiques techniques

	PAPIER
Éditeur(s)	Le Pommier
Auteur(s)	Gilles Dowek
Collection	Le Pommier poche
Parution	23/02/2015
Nb. de pages	128
Format	11 x 18
Couverture	Broché
Poids	95g
Intérieur	Noir et Blanc
EAN13	9782746508781
ISBN13	978-2-7465-0878-1