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

Gorde:
Xehetasun bibliografikoak
Egile nagusia: David, René, 1948-
Beste egile batzuk: Nour, Karim., Raffalli, Christophe, Maître de conférences.
Formatua: Livre
Hizkuntza: Français
Argitaratua: Paris : Dunod, 2001.
Saila: Sciences sup. Mathématiques
Gaiak:
Autres localisations: Voir dans le Sudoc
Gaia: 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.

BU Sciences

  Kokapena Sailkapena Egoera
Libre accès 511.3 DAV Emprunté
Noiz arte: 23/04/2025

 Jakinarazi