Mon panier

Frais de livraison

0,00 €

Total 0,00 €
Voir mon panier

Paiement 100% sécurisé

Paiement avec CB Paiement avec carte Visa Paiement avec carte Mastercard
Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théori

Format : Broché


Edition : Dunod



Date de publication : 2003


Nombre de pages : 368


ISBN : 9782100054534


Auteur : René Cori, Daniel Lascar


Dimensions (L x H x E, cm) : 18 x 25 x 2.2


Poids (g) : 614


Photo non contractuelle

René Cori, Daniel Lascar

Logique mathématique. vol. 2. fonctions récursives, théorème de gödel, théorie des ensembles, théori

Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théori

Plus en stock

RecycLivre répertorie ses livres selon 4 états correspondant à la qualité de ces derniers comme suit :
  • "Comme neuf" : a l'aspect d'un livre neuf, ne comporte aucune marque. La jaquette d'origine est présente.
  • "Très bon" : comporte des défauts minimes, et la tranche peut avoir une légère pliure.
  • "Bon" : comporte de légers défauts esthétiques visibles. La couverture peut avoir des pliures, les pages peuvent avoir des marques d'usure sans être cornées ou jaunies.
  • "État Acceptable" : comporte des signes d'usure, qui n'empêchent cependant pas la lecture.

A noter : la mention bibliothèque signifie que le livre est plastifié et étiqueté car c'est un ancien support de bibliothèque.

Rupture de stock

Être averti lors du retour en stock

RecycLivre répertorie ses livres selon 4 états correspondant à la qualité de ces derniers comme suit :
  • "Comme neuf" : a l'aspect d'un livre neuf, ne comporte aucune marque. La jaquette d'origine est présente.
  • "Très bon" : comporte des défauts minimes, et la tranche peut avoir une légère pliure.
  • "Bon" : comporte de légers défauts esthétiques visibles. La couverture peut avoir des pliures, les pages peuvent avoir des marques d'usure sans être cornées ou jaunies.
  • "État Acceptable" : comporte des signes d'usure, qui n'empêchent cependant pas la lecture.

A noter : la mention bibliothèque signifie que le livre est plastifié et étiqueté car c'est un ancien support de bibliothèque.

Livraison incluse pour la France métropolitaine et la Corse

Livraison incluse pour la France métropolitaine et la Corse

RecycLivre répertorie ses livres selon 4 états correspondant à la qualité de ces derniers comme suit :
  • "Comme neuf" : a l'aspect d'un livre neuf, ne comporte aucune marque. La jaquette d'origine est présente.
  • "Très bon" : comporte des défauts minimes, et la tranche peut avoir une légère pliure.
  • "Bon" : comporte de légers défauts esthétiques visibles. La couverture peut avoir des pliures, les pages peuvent avoir des marques d'usure sans être cornées ou jaunies.
  • "État Acceptable" : comporte des signes d'usure, qui n'empêchent cependant pas la lecture.

A noter : la mention bibliothèque signifie que le livre est plastifié et étiqueté car c'est un ancien support de bibliothèque.

Résumé

Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite.

Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées.

L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.


Domaine d'une grande richesse, la logique mathématique donne lieu à des découvertes théoriques majeures. L'explosion de l'informatique, avec des applications et des intuitions nouvelles, lui a fourni une impulsion décisive et inédite.

Ce cours, enseigné à l'université, traite de manière détaillée des domaines fondamentaux de la logique mathématique. Dans le premier tome sont exposés le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Ce second tome est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et à la théorie des ensembles ainsi qu'à la théorie des modèles. Outre le cours, de nombreux exercices corrigés permettront au lecteur d'acquérir et de maîtriser les différentes notions exposées.

L'ouvrage se destine principalement aux étudiants en licence, master et doctorat de logique, mathématique et informatique. Il intéressera également les élèves ingénieurs et les étudiants désirant s'orienter vers les mathématiques pures ou l'informatique, ainsi que les chercheurs et les ingénieurs de recherche en informatique.



Format : Broché


Edition : Dunod


Date de publication : 2003


Nombre de pages : 368


ISBN : 9782100054534


Auteur : René Cori, Daniel Lascar


Classement : 518799


Dimensions (L x H x E, cm) : 18 x 25 x 2.2


Poids (g) : 614


Photo non contractuelle


Livraison rapide et incluse Livraison rapide et incluse

Vous recevrez votre commande dans les 3 à 5 jours.

+3 millions de clients +3 millions de clients

Nous ont déjà fait confiance depuis 2008.

Service client disponible Ce n’est pas clair ?

Notre service client disponible du lundi au vendredi de 9h à 17h.

Paiement avec CB Paiement avec carte Visa Paiement avec carte Mastercard

Sécurité Sécurité

Soyez rassurés : les transactions sont 100% sécurisées.

Un geste solidaire Un geste solidaire

Collecte de vos livres à domicile

Avis des internautes

Donnez votre avis sur le contenu du livre Logique mathématique. Vol. 2. Fonctions récursives, théorème de Gödel, théorie des ensembles, théori !
Pour tout autre commentaire ou question, contactez-nous.