geeksforgeeks.org
Unknown
GeeksforGeeks is a comprehensive computer science learning portal offering tutorials, articles, and practice problems across algorithms, data structures, programming languages, and interview preparation. It provides step-by-step explanations, code examples, and coding challenges to help learners build logic and problem-solving skills.
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.