Visionneuse

Date_TXT

Paris: Bookboon, 2014

Auteur

Paris, Jeff

Sujet

Predicate Logic; The Prenex Normal Form Theorem; The Completeness and Compactness Theorems; Herbrand’s Theorem;

Type de document

Livre

Description :

In my experience students often struggle to understand Predicate Logic: they drown in the complicated notation; they do not understand the difference between syntax and semantics, proof and truth; they do not appreciate the importance of logic within mathematics and formal methods in general. This book was written specifically to address these issues, at the same time presenting a full and rigorous treatment of the subject requiring only basic mathematics.1e