Medias
Démonstrations et les Algorithmes (Les)
Be the first to provide feedback
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
...
Technical specifications
Release date | October 28th 2010 |
Language | French |
Publisher | ECOLE POLYTECHNIQUE |
Categories | |
Number of pages | 193 pages |
Composition | Single-component retail product |
Support | Paperback / softback |
Measure | 24.0 cm (Height), 17 cm (Width), 360 gr (Weight) |
Accessibility | No information is available regarding the accessibility of the format Paper |