Change search
ReferencesLink to record
Permanent link

Direct link
Logic and Discrete Mathematics: a Concise Introduction
Stockholm University, Faculty of Humanities, Department of Philosophy.ORCID iD: 0000-0002-0157-1644
2015 (English)Book (Refereed)
Abstract [en]

This book features a unique combination of comprehensive coverage of logic with a solid exposition of the most important fields of discrete mathematics, presenting material that has been tested and refined by the authors in university courses taught over more than a decade. 

The chapters on logic - propositional and first-order - provide a robust toolkit for logical reasoning, emphasizing the conceptual understanding of the language and the semantics of classical logic as well as practical applications through the easy to understand and use deductive systems of Semantic Tableaux and Resolution. The chapters on set theory, number theory, combinatorics and graph theory combine the necessary minimum of theory with numerous examples and selected applications.  Written in a clear and reader-friendly style, each section ends with an extensive set of exercises, most of them provided with complete solutions which are available in the accompanying solutions manual.

Place, publisher, year, edition, pages
Chichester: John Wiley & Sons, 2015. , 426 p.
Keyword [en]
Discrete mathematics, logic, set theory, number theory, combinatorics, graph theory
National Category
Discrete Mathematics
Research subject
Mathematics; Mathematical Logic
Identifiers
URN: urn:nbn:se:su:diva-123446ISBN: 978-1-118-75127-5OAI: oai:DiVA.org:su-123446DiVA: diva2:874161
Available from: 2015-11-26 Created: 2015-11-26 Last updated: 2016-02-23Bibliographically approved

Open Access in DiVA

No full text

Search in DiVA

By author/editor
Goranko, Valentin
By organisation
Department of Philosophy
Discrete Mathematics

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Total: 56 hits
ReferencesLink to record
Permanent link

Direct link