Introduction à la logique : théorie de la démonstration : cours et exercices corrigés

Uloženo v:
Podrobná bibliografie
Hlavní autor: David, René, 1948-
Další autoři: Nour, Karim., Raffalli, Christophe, Maître de conférences.
Médium: Livre
Jazyk: Français
Vydáno: Paris : Dunod, 2001.
Edice: Sciences sup. Mathématiques
Témata:
Autres localisations: Voir dans le Sudoc
Shrnutí: Les premiers chapitres présentent les bases du raisonnement mathématique et la syntaxe associée au calcul des énoncés. La deuxième partie traite de la théorie de la démonstration. Des énoncés d'exercices sont proposés en fin de chapitres : certains sont corrigés, d'autres réalisables sur Internet.

Podobné jednotky