brilliant.org
Unknown
Brilliant.org is an interactive learning platform offering logic, math, and computer science courses built around guided lessons and practice problems. It provides hands-on, problem-solving modulesâcovering topics like logic, algorithms, data structures, and programmingâwith real-time feedback and step-by-step solutions.
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.