edX: Logic and Computational Thinking

 with  Paul Pardi

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
  • What this course is about
    • Analytic logic and its relation to computer science
    • Critical thinking as both a lifestyle and aide to better programming and testing
  • Let's get started: critical thinking and logical reasoning
    • What does it mean to think critically?
    • An overview of definition, induction, and deduction
    • Computer programming and logical thinking
2. Module 1: Logic and Computer Science
  • Formal Logic and Computer Science
    • Introduction and prolegomena
    • What is a Turing Machine?
    • Bits and Bytes
    • Algorithms
    • Logic and Computer Science
  • Introduction to Formal Logic
    • Introduction to Logic
    • Arguments
    • Statements
    • Propositions
    • Truth Value
    • Review Questions
  • Symbolizing and Logical Operators
    • Symbolization
    • Introduction to Operators
    • Negation Operator
    • Conjunction Operator
    • Disjunction Operator
    • Conditional Operator
    • Sidebar: Operator of the largest scope
    • Truth Tables
    • Review Questions
3. Module 2: Deductive and Inductive Arguments
  • Types of arguments
    • Arguments again
    • Review Questions
  • Deductive Arguments
    • Valid and invalid arguments
    • Soundness
    • Sound deductive arguments
    • First two deductive syllogisms
    • Sidebar: formal fallacies
    • Two more deductive argument forms
    • Deductive arguments and computer programs
    • Review questions
  • Inductive Arguments
    • Introduction to inductive arguments
    • Strong and weak arguments
    • Cogency
    • Determining strength
    • Review questions
4. Module 3: Categorical Logic
  • Introduction to Categorical Logic
    • What is categorical logic?
    • Aristotle's theory of forms
    • Some, all, and none
    • Quantity and quality
    • Review questions
  • Categorical form and syllogisms
    • Standard categorical form
    • The categorical syllogism
    • Forms of categorical syllogisms
    • Review questions
  • Venn Diagrams
    • Categorical statements and validity
    • Venn diagrams: I and O statements
    • Venn diagrams: A and E statements
    • Using Venn diagrams with categorical syllogisms
    • Venn diagrams: testing categorical syllogism for validity
    • Review questions
5. Module 4: Introduction to Critical Thinking
  • What is Critical Thinking?
    • Introduction to critical thinking
    • Socrates and critical thinking
    • Socrates's definition of truth
    • The Socratic Method
    • Two Socratic questions
    • Applying the Socratic Method to computer science
  • Inductive Reasoning Applied
    • Forms of inductive reasoning
    • The logic of science
    • Confirmation and disconfirmation
    • Mill's Method
    • Mill's method: agreement
    • Mill's method: difference
    • Mill's method: variation
  • A Case Study
6. Module 5: The 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-6 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