| January 2012 | ||||||
|---|---|---|---|---|---|---|
| U | M | T | W | R | F | S |
| 1 | 2 | 3 | 4 | 5 | 6 | 7 |
| 8 | 9 | 10 | 11 | 12 | 13 | 14 |
| 15 | 16 | 17 | 18 | 19 | 20 | 21 |
| 22 | 23 | 24 | 25 | 26 | 27 | 28 |
| 29 | 30 | 31 | ||||
|
80-211: Logic and Mathematical Inquiry
(Spring 2012) |
|
|
80-211: Logic and Mathematical Inquiry
(Spring 2012) |
|
| ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
 Mon 16 Jan Lecture 1 |
Welcome and Course Introduction
We provide an overview over the course, covering topics, approach, and
learning goals. We also outline administrative issues, such as assignments,
exams, course policies, and grading.
Key concepts:
|
| Wed 18 Jan Lecture 2 |
Analysis of Informal Arguments
In this lecture, we reflect on how we reason and introduce the fundamental
notions of inference. We observe that reasoning is language-independent.
Key concepts:
Readings:
|
| Mon 23 Jan Lecture 3 |
The Syntax of Sentential Logic: Connectives
In this lecture, we examine some of the most elementary linguistic patterns
used in reasoning, sentential logic and introduce symbols to express them.
Key concepts:
Readings:
|
| Wed 25 Jan Lecture 4 |
The Syntax of Sentential Logic: Formulas
In this lecture, we combine statements using connectives into logical
formulas and practice translating English sentences in symbolic logic.
Key concepts:
Readings:
|
| Mon 30 Jan Lecture 5 |
The Semantics of Sentential Logic: Truth Tables
In this lecture, we introduce the semantics of sentential logic, exploiting
the syntactic structure of formulae: we provide a truth-definition for all
formulae and define the central logical concepts (logical truth and
consequence) and the truth table method for deciding related questions.
Key concepts:
Readings:
|
| Wed 1 Feb Lecture 6 | waiting on id l6... |
| Mon 6 Feb Lecture 7 | waiting on id l7... |
| Wed 8 Feb Lecture 8 | waiting on id l8... |
| Mon 13 Feb Lecture 9 | waiting on id l9... |
| Wed 15 Feb Lecture 10 | waiting on id l10... |
| Mon 20 Feb Lecture 11 | waiting on id l11... |
| Wed 22 Feb Lecture 12 | waiting on id l12... |
| Mon 27 Feb Lecture 13 | waiting on id l13... |
| Wed 29 Feb Exam | waiting on id e1... |
| Mon 5 Mar | No class (Spring Break) |
| Wed 7 Mar |
| Mon 12 Mar Lecture 14 | waiting on id l14... |
| Wed 14 Mar Lecture 15 | waiting on id l15... |
| Mon 19 Mar Lecture 16 | waiting on id l16... |
| Wed 21 Mar Lecture 17 | waiting on id l17... |
| Mon 26 Mar Lecture 18 | waiting on id l18... |
| Wed 28 Mar Lecture 19 | waiting on id l19... |
| Mon 2 Apr Lecture 20 | waiting on id l20... |
| Wed 4 Apr Lecture 21 | waiting on id l21... |
| Mon 9 Apr Lecture 22 | waiting on id l22... |
| Wed 11 Apr Lecture 23 | waiting on id l23... |
| Mon 16 Apr Lecture 24 | waiting on id l24... |
| Wed 18 Apr Lecture 25 | waiting on id l25... |
| Mon 23 Apr Lecture 26 | waiting on id l26... |
| Wed 25 Apr Lecture 27 | waiting on id l27... |
| Thu 3 May (8:30-11:30) [2152] final | waiting on id FINAL... |
| © 2012 Iliano Cervesato | iliano@cmu.edu |