Portail des médiathèques du réseau Paris-Saclay
Se connecter
Logique mathématique
Disponible
cours et exercices corrigés
Calcul propositionnel, algèbres de Boole, calcul des prédicats
Tome :
1
Cori, René Auteur du texte
Lascar, Daniel (1942-....) Auteur du texte
Lascar, Daniel (1942-....) Auteur du texte
Krivine, Jean-Louis Préfacier , Préfacier, etc.
Présente successivement le calcul propositionnel, les algèbres de Boole, le calcul des prédicats et les théorèmes de complétude. Chaque chapitre est accompagné de nombreux exercices corrigés.
Année de parution :
2003
2 vol. (XV-385 p., ) : ill. : 24 cm
9782100054527
Sujets
Logique mathématique
Veuillez vous connecter pour réserver