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
Logic and Computer Science
Introduction to Formal Logic
Introduction to Logic
Symbolizing and Logical Operators
Introduction to Operators
Sidebar: Operator of the largest scope
3. Module 2: Deductive and Inductive Arguments
Types of arguments
Valid and invalid arguments
Sound deductive arguments
First two deductive syllogisms
Sidebar: formal fallacies
Two more deductive argument forms
Deductive arguments and computer programs
Introduction to inductive arguments
Strong and weak arguments
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
Categorical form and syllogisms
Standard categorical form
The categorical syllogism
Forms of categorical syllogisms
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
MOOCs stand for Massive Open Online Courses. These arefree online courses from universities around the world (eg. StanfordHarvardMIT) 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.