Démonstrations et les Algorithmes (Les)

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 sortie28 octobre 2010
LangueFrançais
ÉditeurECOLE POLYTECHNIQUE
Catégories
Nombre de pages193 pages
CompositionContient un seul article
SupportLivre imprimé à couverture souple
Mesure24.0 cm (Hauteur), 17 cm (Largeur), 360 gr (Poids)
Accessibilité  Aucune information disponible concernant l'accessibilité pour le format Papier