
Les démonstrations et les algorithmes. Introduction à la logique et à la calculabilité
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 Gôdel, 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.
| Nombre de pages | 193 |
|---|---|
| Date de parution | 05/10/2010 |
| Poids | 360g |
| Largeur | 170mm |
| SKU: | 9782730215695 |
| wmi_id_distributeur: | Not set |
| Is Salable (from plugin): | No (Out of Stock) |
| Is Salable (direct MSI check): | No (Out of Stock) |
| Distributor Name: | Par défaut |
| Availability Value: | 0 |
| Availability Label: | Epuisé |
| Match Result: | |
| Default Availability (Config): | 0 - Epuisé |
| Raw Config Mapping: |
Array
(
[_1772119784121_121] => Array
(
[id] => 12707000
[name] => 12707000
[availability] => 1
[activation_attribute] => 1
)
)
|
| EAN | 9782730215695 |
|---|---|
| Titre | Les démonstrations et les algorithmes. Introduction à la logique et à la calculabilité |
| Auteur | Dowek Gilles |
| Editeur | ECOLE POLYTECH |
| Largeur | 170 |
| Poids | 360 |
| Date de parution | 20101005 |
| Nombre de pages | 193,00 € |







