Logic and Computational Thinking
Overview
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.
Note: These courses will retire in June. Please enroll only if you are able to finish your coursework in time.
Syllabus
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
Taught by
Paul Pardi
Tags
Related Courses
-
Artificial Intelligence: Knowledge Representation and Reasoning
Indian Institute of Technology Madras, NPTEL
-
Introduction to Logic and Critical Thinking
Duke University
-
Mathematical Thinking in Computer Science
University of California, San Diego , Higher School of Economics
4.5 -
Computational Thinking for Problem Solving
University of Pennsylvania
-
Computational Thinking using Python
Massachusetts Institute of Technology
-
Mindware: Critical Thinking for the Information Age
University of Michigan
4.8
Reviews
5.0 rating, based on 2 reviews
-
Momshad Dinury
Momshad Dinury completed this course, spending 1 hours a week on it and found the course difficulty to be medium.
At first I was like Ugh, this will be like old times I'll give up half way. But this is the first time I decently completed a online course, took note, prepared for exam and was actually worried about the result. It's a good course. -
Arnaud Dion
Arnaud Dion completed this course, spending 2 hours a week on it and found the course difficulty to be easy.
This course is intended to learn the base of logic, deductive and inductive logic. It's interesting, clear and easy to follow. At the beginning, it's really easy. But don't be fooled, it becomes more challenging at the end of the course !
Never Stop Learning!
