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

Penser vite ou penser bien ? / Joëlle Proust

Livre | Proust, Joëlle (1947-....). 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...

Raisonnement, résolution de problèmes et prise de décision / Jean-Marc Meun...

Livre | Meunier, Jean-Marc (1964-....). Auteur | 2016

Méthodologie de la recherche qualitative : les 10 questions clés de la déma...

Livre | Dumez, Hervé (1957-....). Auteur | 2021 - 3e édition

"Vous êtes chercheur et vous avez choisi d’aller au contact des acteurs d’une entreprise ou d’une organisation pour les interviewer ou les observer. Vous avez opté pour une méthode compréhensive, appelée généralement recherche qua...

L' influence de Machiavel dans la littérature politique du Siècle d'or espa...

Livre | Guyot, Adrian (1990-....). Auteur | 2023

Au-delà d’un anti-machiavélisme énergique et manifeste, Machiavel a en réalité exercé une profonde influence dans la pensée politique de l’Espagne du Siècle d’or, comme interlocuteur, mais aussi comme inspirateur et comme autorité...

Le mystère chrétien à l'épreuve de la raison et de la foi / Henri Bouillard

Livre | Bouillard, Henri (1908-1981). Auteur | 2001

Éloge de la raison sensible / Michel Maffesoli

Livre | Maffesoli, Michel (1944-....) - sociologue. Auteur | 1996

Chargement des enrichissements...