Introduction à La Logique

Introduction à La Logique

René David , Karim Nour , Christophe Raffalli
还没有评分
2004 · 法语 · 平装书
加入书架

评价这本书


导出书籍日志

描述

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.

书籍详情

格式 平装书
页数 368 页
语言 法语
已发布 1月 5, 2004
出版商 Dunod
ISBN-10 2100067966
ISBN-13 9782100067961
加入书架

评价这本书


导出书籍日志