3 ms·

Math Foundations of Computer Science (15-151) covers proofs, combinatorics, etc. https://csd.cs.cmu.edu/course-profiles/15-151-Mathematical-Foundations-for-Com

• triska 8y ago
  Yes, this is the book from the course's page: http://www.math.cmu.edu/~jmackey/151_128/infdes.pdf http://www.math.cmu.edu/~jmackey/151_128/infdes.pdf This definitely has some aspects of formal logic in it and contains a few definitions about proofs, theorems etc. The logic-oriented aspects are covered in Appendix B ("Foundations"), which is currently unfinished. Still, this is no substitute for, and clearly does not intend to be, a course on formal logic, let alone logic programming or model checking.