• hors stock
Les demonstrations et les algorithmes : introduction à la logique et à la calculabilité
search

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

Dowek, Gilles (1966-....)
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 (l... lire la suite
Date de parution prévue : 11/10/2010
M'avertir lorsque le produit est disponible

Vous êtes professionnels, vous souhaitez bénéficier de tarifs qui vous sont réservés ?
connecter vous ou créer vous un compte

Vous êtes professionnels, vous souhaitez bénéficier de tarifs qui vous sont réservés ? Connectez-vous ou créez vous un compte

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.
9782730215695

Auteur : Dowek, Gilles (1966-....)

Date de parution : 11/10/2010

Éditeur : Ecole polytechnique

Collection : Informatique

Classification : Mathématiques

Lirandco vous recommande

Icon
Livraison offerte dès 30 € d’achat

(France Métropolitaine)

Icon
Clic & Collecte gratuit

07400 Le Teil (Ardèche)

Icon
Paiement 100% sécurisé

Carte bancaire

Icon
Service client de 8h30 à 17h

06 70 63 29 00