Title

Title
Bienvenue sur Biblio-Sciences, site communautaire principalement destiné aux étudiants, élèves et à toute autre personne désirant trouver des documents numériques dans un but académique, ludique ou autre. Explorez Biblio-Sciences où chaque livre est une aventure scientifique qui commence. La connaissance n'attend que vous !

Search

Rechercher des livres par catégories

togglesFiltrer

Introduction à la logique : Théorie de la démonstration - Cours et exercices corrigés - 2e edition


























Auteurs(s):
Karim Nour, René David, Christophe Raffalli, Pierre-Louis Curien



Edition:
2e Édition


Editeur:
Dunod


Année:
2004


Langue:
Français


Pages:
364


Taille:
2 MB


Extension:
DJVU




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












DJVU [2 MB]







Mots-Clés:
Rene David, Theorie de la demonstration, exercies corriges de logique






Page précédente Accueil Page suivante

Post Share Buttons

LITTERATURE ET LANGUES

Les plus populaires Voir la suite

Popup

Sciences et Techniques

Sciences et TechniquesVoir la suite

Sciences Humaines et Sociales

Sciences Humaines et SocialesVoir la suite

ECONOMIE FINANCES ET ENTREPRISESVoir la suite

LITTERATURE ET LANGUESVoir la suite

ARTS CULTURE LOISIRS ET ACTUALITESVoir la suite

RELIGIONVoir la suite