LOGIQUE MATHEMATIQUE TOME 1: CALCUL PROPOSITIONNEL

CORI

Issu d'un enseignement de logique dispensé en 2 et 3
cycles, ce cours traite de manière détaillée des domaines
fondamentaux de la logique mathématique.

Ce premier tome expose successivement le calcul
propositionnel. les algèbres de Boole, le calcul des
prédicats et les théorèmes de complétude.

Ce premier volume est plus particulièrement destiné aux
étudiants de premier et deuxième cycles universitaires en
logique, mathématiques et informatique. Ils y trouveront
notamment de nombreux exercices corrigés leur permettant
une réelle acquisition des différentes notions logiques
exposées. Cet ouvrage intéressera également les élèves-
ingénieurs et les étudiants de troisième cycle désirant
s'orienter vers les mathématiques pures ou l'informatique,
les chercheurs et les ingénieurs de recherche en
informatique, soucieux de disposer d'un texte de référence
sur les bases mathématiques de leur spécialité. La lecture
de ce livre n'exige aucune connaissance préalable en
logique.

dunod - page 1
dunod - page 2
dunod - page 3
dunod - page 4
dunod - page 5
dunod - page 6
dunod - page 7
dunod - page 8
dunod - page 9
dunod - page 10
dunod - page 11
dunod - page 12
Librairie spécialisée en ouvrages scientifiques et techniques