Medias
Démonstrations et les Algorithmes (Les)
Soyez le premier à donner votre avis
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
...
Spécifications techniques
Date de sortie | 28 octobre 2010 |
Langue | Français |
Éditeur | ECOLE POLYTECHNIQUE |
Catégories | |
Nombre de pages | 193 pages |
Composition | Contient un seul article |
Support | Livre imprimé à couverture souple |
Mesure | 24.0 cm (Hauteur), 17 cm (Largeur), 360 gr (Poids) |
Accessibilité | Aucune information disponible concernant l'accessibilité pour le format Papier |