Logic in Computer Science

What Hacker News says

1. nextosSep 2024
   A key subject is Logic. Logic is the Calculus of CS and should be your first stop. I recommend:

   * Logic for Computer Scientists by Uwe Schoening

   * Logic in Computer Science by M. Huth and M. Ryan

   The first one is short, very elegant and doable. The second one is a bit longer, but also at freshman level.

   There are PDFs circulating on the Internet. Skim through those before buying a hardcopy.

   Show morethread
2. AtiscantMay 2023
   I suggest you start out with a course or book on formal logic in computer science. In particular doing proofs in intuitionistic logic. You can use a simple proof assistant to verify your proofs and it will help you really understand how proofs are done and how they are just a kind of programs in a special programming language called mathematics (given some assumptions). Proofs in higher level books are all informal, so you can’t do them programmatically in most cases, but it really helps with understanding how proofs works. After that, follow what subjects finds your fancy.
   Show morethread
3. bjourneMay 2022
   Logic in Computer Science by Huth and Ryan.
   thread
4. jonjackyMay 2022
   I like The Mathematics of Logic by Richard Kaye. A rather unusual approach apparently intended for college math majors, maybe not for everybody. But I am not a math major and it appealed to me.

   https://web.mat.bham.ac.uk/R.W.Kaye/logic (not very helpful, lots of broken links, just look at the book instead)

   I also like Logic in Computer Science by Huth and Ryan, cited in another comment here. It is much more comprehensive and has a lot more about logic applications in computer science.

   Show morethread
5. nextosNov 2020
   If you think you are roughly at A-level, get a quick refresher:

   * Basic Mathematics by Serge Lang

   * Calculus Made Easy by Silvanus Thompson

   Then try a DIY bootcamp in the spirit of Harvard Math 55. If you are interested in continuous math:

   * Vector Calculus by Hubbard & Hubbard

   If you are interested in discrete mathematics and computation:

   * Logic in Computer Science by Huth & Ryan

   Show morethread
6. jrimcleanOct 2017
   Natural deduction for propositional logic? Simple rules, real math. There are lots of good problems of varying difficulty in Logic in Computer Science by Huth and Ryan.

   Edit: Perhaps this doesn't qualify as a game per se, but I think it might be a fun activity to work through the proofs together.

   thread