Les demonstrations et les algorithmes : introduction à la logique et à la calculabilité

Les demonstrations et les algorithmes : introduction à la logique et à la calculabilité

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 (le théorème d’indécidabilité de Church, le théorème d’incomplétude de Gödel, le théorèm... + Saiba mais

Descrição

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 (le théorème d’indécidabilité de Church, le théorème d’incomplétude de Gödel, le théorème de semi-décidabilité de la démontrabilité) qui ont changé notre raisonnement.
Coleção: Informatique
ISBN: EUR
ISBN13: 9782730215695
Editora: Ecole polytechnique
Dimensões: 170 x 240 (LxA)