Logic for Computer Science - Full Course
Unknown
Comprehensive lectures on propositional and predicate logic
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
Computational Logic
Learn logic skills to advance your education and career with online courses delivered through edX.
Logic and Proofs, Discrete Math
Master logic and proofs with this Discrete Math course by Albert R. Meyer. Explore logic in computer science & build problem-solving skills.