Logic

Filter Courses within "Logic" (Click to filter)
An Introduction to Logic for Computer Science (Coursera) Coursera
University of Leeds

An Introduction to Logic for Computer Science (Coursera)

Dive into the world of logic and its pivotal role in computer science with our introductory course. Gain a solid grasp on proposition logic, harnessing its power to solve complex problems, design efficient algorithms, and understand the workings of intelligent systems. This course is perfect for anyone looking to sharpen their logical reasoning skills and apply them practically.

Aug 24th 2026
2 Weeks
What is a Proof? (Coursera) Coursera
University of California, San Diego,Higher School of Economics - HSE University

What is a Proof? (Coursera)

Dive into the core concepts of mathematical thinking and unlock the secrets behind solving complex problems in computer science. This course, 'What is a Proof?', will equip you with crucial skills in areas such as algorithms, bioinformatics, data science, and machine learning through an exploration of induction, recursion, logic, and other vital discrete mathematics tools.

Jun 29th 2026
5-12 Weeks
Understanding Maths and Logic in Computer Science (FutureLearn) FutureLearn
Raspberry Pi Foundation

Understanding Maths and Logic in Computer Science (FutureLearn)

Discover the fascinating world of mathematics and logic as they apply to computer science. This engaging FutureLearn course will guide you through understanding these crucial concepts, enabling you to teach them more effectively. As a bonus, you'll build elements for your own escape room, making learning fun and interactive.

Nov 1st 2021
3 Weeks
Mathematical Logic and Theory of Computation (saylor.org) Saylor Academy
Saylor.org

Mathematical Logic and Theory of Computation (saylor.org)

Dive deep into Mathematics, Logic, and Computation with our expert-led course on Mathematical Logic and Theory of Computation. Explore the structure of reasoning in mathematics, learn about logical systems, and discover the principles that govern computation. Whether you're a student, professional, or enthusiast, this course will equip you with a profound understanding of these critical fields.

Legacy Course
Self-Paced
World of Spies: Keeping Secrets (FutureLearn) FutureLearn
Purdue University

World of Spies: Keeping Secrets (FutureLearn)

Embark on an exciting journey into the world of spies with our online course tailored for young learners aged 13-18. Uncover the secrets of espionage, master code-making and breaking, and enhance your logical thinking and communication skills. 'World of Spies: Keeping Secrets' is your gateway to understanding the art of secrecy and the thrilling life of a spy.

No sessions available
4 Weeks
Artificial Intelligence (Udacity) Udacity
Georgia Institute of Technology,Udacity

Artificial Intelligence (Udacity)

Dive into the world of Artificial Intelligence with an introductory graduate-level course designed to provide a thorough understanding of AI's foundational concepts. This course covers essential topics such as classical search algorithms, probability theory, machine learning techniques, logical reasoning, and advanced planning strategies.

Self Paced
Self-Paced