A Logical Approach to Discrete Math

Autori

• David Gries
• Fred B. Schneider

Parametri

• 524 pagine
• 19 ore di lettura

• Computer, IT, programmazione
• Matematica
• Saggistica

Maggiori informazioni sul libro

Focusing on practical applications, this text redefines the teaching of logic for beginners by integrating it as a fundamental tool rather than an isolated subject. It emphasizes developing skills in propositional and predicate calculi, particularly within the contexts of computer science and discrete mathematics. The authors, coming from a programming methodology background, aim to equip future generations of computer scientists and mathematicians with the ability to effectively use logic as a foundational element in reasoning and proof methods.

Lingua: Inglese

Pubblicato: 2010

(In brossura)