Logic and Discrete Mathematics: A Concise Introduction

An accessible and practical introduction to basic propositional and first-order logic, with content which can be easily customized to a variety of undergraduate and postgraduate degree courses. Suitable for both mathematics and computer science students. Exercises for each section cover all key con [...]
Visa längre beskrivning

An accessible and practical introduction to basic propositional and first-order logic, with content which can be easily customized to a variety of undergraduate and postgraduate degree courses. Suitable for both mathematics and computer science students. Exercises for each section cover all key concepts and skills at progressive degrees of difficulty Separate instructors' solutions manual available. Supporting material for teaching includes lecture slides and electronic quizzes covering all content