cs.cmu.edu
Unknown
Carnegie Mellon University’s CS site is the official portal for the School of Computer Science, detailing degree programs, research areas, faculty, labs, courses, and events. It also provides news, seminars, admissions information, and resources spanning theory, AI, systems, and other CS disciplines.
More resources on Logic in Computer Science
Introduction to Logic
This course is an introduction to Logic from a computational perspective. It shows how to encode information in the form of logical sentences; it shows how to reason with information in this form; and it provides an overview of logic technology and its applications - in mathematics, science, engineering, business, law, and so forth.
Logic Matters Blog
Articles and resources on logic for TCS
Stanford Logic Group
Resources and lecture notes on logic in CS
Huth & Ryan Book Lectures
Companion videos to Logic in Computer Science book
Logic for Computer Science - Full Course
Comprehensive lectures on propositional and predicate logic
Computational Logic
Learn logic skills to advance your education and career with online courses delivered through edX.