I have to read Logic in Computer Science: Modelling and Reasoning about Systems by M. Huth and M. Ryan for a class next semester. However Amazon reviews say it's hard to read unless you're an advanced student and I'm very new to computer science. Is there any other book I may read before I approach this one that would make it easier to understand?

  • 1
    $\begingroup$ Find out what the prerequisites are and read books about those. Why not ask the person who's teaching the course -- they should be able to give you recommendations. $\endgroup$ – David Richerby Jul 9 '17 at 12:40
  • $\begingroup$ There are no prerequisites for this class and the course hasn't started yet, so I can't reach for the instructor. So I'm looking for recommendations coming from people who have already read this book. $\endgroup$ – Ruan Jul 9 '17 at 13:27
  • $\begingroup$ I meant "prerequisites" in the more general sense of "things you need to know in order to understand this course" rather than "classes your university makes you take before you can take this one." And why can't you contact the instructor? Surely you know who it is and know their email address? $\endgroup$ – David Richerby Jul 9 '17 at 14:23

From the Preface of the 2nd Edition:

The book requires that students know the basics of elementary arithmetic and naive set theoretic concepts and notation. The core material of Chapter 1 (everything except Sections 1.4.3 to 1.6.2) is essential for all of the chapters that follow. Other than that, only Chapter 6 depends on Chapter 3 and a basic understanding of the static scoping rules covered in Chapter 2 – although one may easily cover Sections 6.1 and 6.2 without having done Chapter 3 at all.

Of course, having elementary prerequisites and being easy are two different things. I've only read the first two chapters as a way to self-teach some logic so I can't comment on the 'latter' material.

The cool thing is that you're only obligated to read the first chapter and then you can proceed to read most of the other chapters in whichever order suits you. If you want a free supporting material, there's the Stanford Logic MOOC and the Mathematics for Computer Science course from MIT.


Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.