Informatique et sciences du numérique - Spécialité ISN en terminale S avec des exercices corrigés et idées de projets
La logique
Publié par Le Pommier, le 23 février 2015
128 pages
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 à posteriori d une nature très différente : il ne repose pas sur une méthode systématique, ne 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.
Plus de livres de Gilles Dowek
Voir plusInformatique et sciences du numérique - Spécialité ISN en terminale S
Voulez-vous jouer avec les maths ?
Ce dont on ne peut parler, il faut l'écrire - Langues et langages
Jeux mathématiques et vice versa (édition 2017)
Informatique et sciences du numérique - Spécialité ISN en terminale S
Introduction à la théorie des langages de programmation
L'IA est-elle une chance ? méditations sur le risque
Critiques
Ce livre n'a pas encore de critiques
Vous avez lu ce livre ? Dites à la communauté Lenndi ce que vous en avez pensé 😎