Buch, Englisch, 163 Seiten, Paperback, Format (B × H): 187 mm x 235 mm
Buch, Englisch, 163 Seiten, Paperback, Format (B × H): 187 mm x 235 mm
Reihe: Synthesis Lectures on Computer Science
ISBN: 978-1-62705-247-4
Verlag: MORGAN & CLAYPOOL
Like many other books on logic, this one covers logical syntax and semantics and proof theory plus induction. However, unlike other books, this book begins with Herbrand semantics rather than the more traditional Tarskian semantics. This approach makes the material considerably easier for students to understand and leaves them with a deeper understanding of what logic is all about.
In addition to this text, there are online exercises (with automated grading), online logic tools and applications, online videos of lectures, and an online forum for discussion.
Autoren/Hrsg.
Weitere Infos & Material
- Introduction
- Propositional Logic
- Satisfiability
- Propositional Proofs
- Propositional Resolution
- Relational Logic
- Relational Logic Proofs
- Resolution
- Induction
- Equality