Introduction à la logique : théorie de la démonstration : [cours, 170 exercices corrigés] / René David,... Karim Nour,... Christophe Raffalli,...

Livre

David, René (1948-....) - mathématicien. Auteur | Nour, Karim (19..-....). Auteur | Raffalli, Christophe. Auteur

Edited by Dunod - 2004

La 4e de couverture indique : "Cet ouvrage, entièrement révisé dans cette seconde édition, présente la théorie de la démonstration en tant que discipline et en tant qu'outil. 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 du livre traite plus particulièrement de la théorie de la démonstration, discipline à part entière des mathématiques. Des énoncés d'exercices avec leurs corrigés sont proposés en fin de chapitres . Une annexe présente un assistant de démonstration, le logiciel PhoX, réalisé par l'un des auteurs. Ce logiciel ainsi que des compléments aux corrigés sont disponibles sur le site Web des auteurs."

Autres documents dans la collection «Sciences sup»

Vérification des exemplaires disponibles ...

Se procurer le document

Vérification des exemplaires disponibles ...

Suggestions

Du même auteur

Du Grafcet aux réseaux de Petri / René David et Hassane Alla,..

Livre | David, René (1939-2022) - physicien. Auteur | 1992 - 2e édition revue et augmentée

La 4e de couverture indique : "Les connaissances nécessaires à la compréhension et à l'utilisation du Grafcet et des réseaux de Petri sont réunies dans cet ouvrage. Le Grafcet est un outil de spécification des automatismes logique...

Les grands systèmes de droit contemporains / René David, Camille Jauffret-S...

Livre | David, René (1906-1990) - juriste. Auteur | 2016 - 12e édition

La 4e de couverture indique : "Le développement de plus en plus grand des relations internationales n'autorise plus le juriste d'aujourd'hui à se limiter à la seule connaissance de son droit national. A l'heure de l'européanisatio...

Du même sujet

Le raisonnement et la logique des choses : les conférences de Cambridge, 18...

Livre | Peirce, Charles Sanders (1839-1914). Auteur | 1995

Critique de la raison pratique / Kant

Livre | Kant, Immanuel (1724-1804). Auteur | 2003

Penser vite ou penser bien ? / Joëlle Proust

Livre | Proust, Joëlle (1947-....) - philosophe. Auteur | 2021

"D’où viennent nos stratégies de pensée ? Pourquoi est-on curieux, pourquoi ne veut-on rien savoir, pourquoi a-t-on l’impression d’avoir raison là où on a tort ? Penser par soi-même suppose de savoir ce que l’on sait ou ne sait pa...

Logique et raisonnement / Michael Freund

Livre | Freund, Michael (1944-....). Auteur | 2016 - 2e édition

La logique ou L'art de raisonner / Yannis Delmas-Rigoutsos, René Lalement

Livre | Delmas-Rigoutsos, Yannis (1969-....). Auteur | 2000

Logique élémentaire / W. V. Quine

Livre | Quine, Willard Van Orman (1908-2000) - philosophe. Auteur | 2006 - Deuxième édition corrigée

Chargement des enrichissements...