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.

Les démonstrations et les algorithmes ; introduction à la logique et à la calculabilité

Informatique et sciences du numérique - Spécialité ISN en terminale S

Les métamorphoses du calcul

Voulez-vous jouer avec les maths ?

1, 2, 3... codez ! - Enseigner l'informatique à l'école et au collège (cycles 1, 2 et 3)

Quand la science a dit... c'est bizarre !

Informatique et sciences du numérique - Spécialité ISN en terminale S avec des exercices corrigés et idées de projets

Introduction à la théorie des langages de programmation

Critiques