A study of sentential logic, including translation, semantics, decision procedures and natural deduction followed by an introduction to predicate logic, concentrating on translation. Note: Not open to students with credit in PHIL 220.
Section | Capacity | Class times | Instructor(s) |
---|---|---|---|
LECTURE 850
(17332) |
50 |
2024-01-08 - 2024-04-12 (T)
18:00 - 21:00
ONLINE
|
Primary Instructor: Christopher Lepock
|
LECTURE B1
(10307) |
50 |
2024-01-08 - 2024-04-12 (TR)
09:30 - 10:50
T 1-090
|
Primary Instructor: Katalin Bimbo
|
Section | Capacity | Class times | Instructor(s) |
---|---|---|---|
LECTURE X50
(40500) |
55 |
2024-07-08 - 2024-08-14 (MW)
18:00 - 21:10
CAB 239
|
|
Section | Capacity | Class times | Instructor(s) |
---|---|---|---|
LECTURE A1
(48158) |
100 |
2024-09-03 - 2024-12-09 (MWF)
13:00 - 13:50
SAB 3-25
|
Primary Instructor: Hassan Masoud
|
Section | Capacity | Class times | Instructor(s) |
---|---|---|---|
LECTURE 850
(75867) |
50 |
2025-01-06 - 2025-04-09 (T)
18:00 - 21:00
ONLINE
|
Primary Instructor: Hassan Masoud
|
LECTURE B1
(70264) |
50 |
2025-01-06 - 2025-04-09 (TR)
09:30 - 10:50
T 1-090
|
|