Introduction à la logique - Théorie de la démonstration

Publié par Dunod, le 28 août 2019

368 pages

Résumé

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

Le droit comparé - droits d'hier, droits de demain

Du Grafcet aux réseaux de Petri

Le droit anglais

Du Grafcet aux réseaux de Petri

Les grands systèmes de droit contemporains

Le droit du commerce international : Réflexions d'un comparatiste sur le droit international privé

Introduction à la logique - Théorie de la démonstration

Les démonstrations mathématiques ; cours complet avec 127 exercices résolus

Critiques