Traitement en cours...
Fermer la notification

Toutes nos lignes téléphoniques...

sont actuellement en dérangement du fait de l'opérateur (SFR), qui nous dit mettre tout en œuvre pour rétablir la situation dans les plus brefs délais mais jusqu'ici n'a pas réussi à le faire.
Nous restons cependant à votre disposition par d'autres moyens pour vous informer.
Si vous souhaitez connaître les dates estimées d’expédition des titres que vous avez commandés, pensez à simplement consulter le détail de vos commandes sur side.fr.
Si vous avez besoin d’une autre information, vous pouvez, selon votre urgence, écrire à notre service clients à france@side.fr ou appeler directement votre représentant ou appeler le 06 34 54 96 63, le numéro d'urgence temporaire que nous avons mis en place en attendant de retrouver notre accueil téléphonique habituel.

Afficher la notification

Les démonstrations et les algorithmes

Dowek Gilles
Date de parution 05/10/2010
EAN: 9782730215695
Disponibilité Manque temporaire
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 f... Voir la description complète
Nom d'attributValeur d'attribut
Common books attribute
ÉditeurECOLE POLYTECH
Nombre de pages194
Langue du livreFrançais
AuteurDowek Gilles
FormatPaperback / softback
Type de produitLivre
Date de parution05/10/2010
Poids360 g
Dimensions (épaisseur x largeur x hauteur)1,30 x 17,00 x 24,00 cm
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.