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. 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours

Format : Broché


Edition : Dunod



Date de publication : 2003


Nombre de pages : 408


ISBN : 9782100054527


Auteur : René Cori, Daniel Lascar


Dimensions (L x H x E, cm) : 17 x 24 x 2.4


Poids (g) : 690


Photo non contractuelle

René Cori, Daniel Lascar

Logique mathématique. vol. 1. calcul propositionnel, algèbre de boole, calcul des prédicats : cours

Logique mathématique. Vol. 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours

Plus en stock

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 ce 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. Le second est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et aux théories des ensembles et 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, n'exigeant aucune connaissance préalable en logique, se destine principalement aux étudiants en licence et master 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 ce 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. Le second est consacré aux problèmes de récursivité et de formalisation de l'arithmétique, aux théorèmes de Gödel et aux théories des ensembles et 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, n'exigeant aucune connaissance préalable en logique, se destine principalement aux étudiants en licence et master 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 : 408


ISBN : 9782100054527


Auteur : René Cori, Daniel Lascar


Classement : 374662


Dimensions (L x H x E, cm) : 17 x 24 x 2.4


Poids (g) : 690


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. 1. Calcul propositionnel, algèbre de Boole, calcul des prédicats : cours !
Pour tout autre commentaire ou question, contactez-nous.