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

Bewaard in:
Bibliografische gegevens
Hoofdauteur: David, René, 1948-
Andere auteurs: Nour, Karim., Raffalli, Christophe, Maître de conférences.
Formaat: Livre
Taal: Français
Gepubliceerd in: Paris : Dunod, 2001.
Reeks: Sciences sup. Mathématiques
Onderwerpen:
Autres localisations: Voir dans le Sudoc
Samenvatting: 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

  Plaats Plaatsingsnummer Status
Libre accès 511.3 DAV Emprunté
Inleverdatum: 23/04/2025

 Hou dit vast