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 | Dates + Times | Instructor(s) |
---|---|---|---|
LECTURE 800
(70810) ONLINE |
55 |
2023-07-10 - 2023-08-16
MW 18:00 - 21:10
|
Primary Instructor: Hassan Masoud
|
Section | Capacity | Dates + Times | Instructor(s) |
---|---|---|---|
LECTURE A1
(82448) |
100 |
2023-09-05 - 2023-12-08
MWF 13:00 - 13:50 (NRE 2-003)
|
Primary Instructor: Hassan Masoud
|
Section | Capacity | Dates + Times | Instructor(s) |
---|---|---|---|
LECTURE 850
(17332) ONLINE |
50 |
2024-01-08 - 2024-04-12
T 18:00 - 21:00
|
Primary Instructor: Christopher Lepock
|
LECTURE B1
(10307) |
50 |
2024-01-08 - 2024-04-12
TH 09:30 - 10:50 (ED 107)
|
Primary Instructor: Hassan Masoud
|