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

What we owe to each other / T.M. Scanlon

Livre | Scanlon, Thomas M. (1940-....). Auteur | 1998

"How do we judge whether an action is morally right or wrong? If an action is wrong, what reason does that give us not to do it? Why should we give such reasons priority over our other concerns and values? In this book, T. M. Scan...

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...

La dialectique de la raison : fragments philosophiques / Max Horkheimer, Th...

Livre | Horkheimer, Max (1895-1973). Auteur | 1974

QCM de raisonnement abstrait des concours des institutions européennes : un...

Livre | Hetru, Emmanuel (1968-....). Auteur | 2013 - Nouvelle éd.

L' évidence de Dieu : études sur le doute religieux / Anthony Feneuil

Livre | Feneuil, Anthony (19..-....). Auteur | 2021

"Le fanatique est souvent la mauvaise conscience des croyants: lui, au moins, ne doute pas. On condamne peut-être son impatience ou son intolérance, mais plus rarement sa certitude. Bien sûr, le doute est parfois valorisé comme né...

Logique et raisonnement / Michael Freund

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

Chargement des enrichissements...