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

Publié par Ecole polytechnique, le 05 octobre 2010

193 pages

Résumé

Tour à tour branche de la philosophie, des mathématiques et de l'informatique, la logique a pour objet d'étude les méthodes qui permettent d'établir qu'un énoncé est vrai, tels le raisonnement et le calcul.Ce livre est une introduction aux concepts fondamentaux de la logique contemporaine - ceux de démonstration, de fonction calculable, de modèle et d'ensemble. Il présente une série de résultats tant négatifs que positifs - le théorème d'indécidabilité de Church, le théorème d'incomplétude de Godel, le théorème de semi-décidabilité de la démontrabilité, ... - qui ont profondément changé notre conception du raisonnement, du calcul et, finalement, de la vérité elle-même.

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

Introduction à la science informatique - Pour les enseignants de la discipline en lycée

Peut-on croire les sondages ?

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

Les métamorphoses du calcul

Ce dont on ne peut parler, il faut l'écrire - Langues et langages

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