edX: Logic and Computational Thinking

 with  Paul Pardi
Complexity Tutorials
Santa Fe University via Complexity Explorer
Project Management Certificate
Cornell University via eCornell

Understanding how a computer "thinks" is one of the first steps to becoming an excellent computer programmer. A foundation in logic is crucial in developing this understanding. Mastering logic is more than learning a set of rules. It involves learning how to break problems into smaller chunks, figuring out how repeatable processes can save time and improve quality, and understanding how to organize problems into the right size.

In this course, you'll learn how to do all those things and use computers to make them easier. After all, logical tasks are what computers are best at doing!

This is not a programming course, but it will teach you how to approach critical thinking as both a lifestyle and an aide to better programming and testing.


1. Module 0: Introduction to the course
    a. What this course is about
        i. Analytic logic and its relation to computer science
        ii. Critical thinking as both a lifestyle and aide to better programming and testing
        iii. Note: This is not a programming course
    b. Let's get started: critical thinking and logical reasoning
        i. What does it mean to think critically?
        ii. An overview of definition, induction, and deduction
        iii. Computer programming and logical thinking
2. Module 1: Deduction and Induction
     a. Deduction and deductive syllogisms
         i. Validity and invalidity
         ii. Argument forms
         iii. Deductive arguments and computer code
         iv. Exercises
     b. Induction and inductive syllogisms
         i. Inductive arguments and critical thinking
         ii. Exercises
     c. Assessment
3. Module 2: Deductive Reasoning and Categorical Logic
    a. Focus on how to discipline thinking to write better programs
    b. The categorical statement
    c. The categorical syllogism
    d. Venn diagrams
    e. Application to computer code
    f. Exercises
    g. Assessment
4. Module 3: Inductive Reasoning and Software Testing: How to think critically
    a. The logic of science
    b. Looking for the cause (Mill's Methods)
    c. Critical thinking and modern science
    d. Applying critical thinking skills to software testing
    e. Assessment
5. Final Exam
0 Student
Cost Free Online Course
Pace Self Paced
Institution Microsoft
Provider edX
Language English
Certificates $99 Certificate Available
Hours 2-3 hours a week
Calendar 4 weeks long

Disclosure: To support our site, Class Central may be compensated by some course providers.

+ Add to My Courses
FAQ View All
What are MOOCs?
MOOCs stand for Massive Open Online Courses. These are free online courses from universities around the world (eg. Stanford Harvard MIT) offered to anyone with an internet connection.
How do I register?
To register for a course, click on "Go to Class" button on the course page. This will take you to the providers website where you can register for the course.
How do these MOOCs or free online courses work?
MOOCs are designed for an online audience, teaching primarily through short (5-20 min.) pre recorded video lectures, that you watch on weekly schedule when convenient for you.  They also have student discussion forums, homework/assignments, and online quizzes or exams.

0 reviews for edX's Logic and Computational Thinking

Write a review

Class Central

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free