Log in with WebAuth to see who is in the course and view and write course reviews.
PHIL150 - Basic Concepts in Mathematical Logic
Also Listed As: PHIL250
(Formerly 159.) The concepts and techniques used in mathematical logic, primarily through the study of the language of first order logic. Topics: formalization, proof, propositional logic, quantifiers, sets, mathematical induction, and enumerability. Grad. students enroll in 250.
GERs: DB-Math
Details
Sell Your PHIL150 Book
CourseRank Details
Offerings
2008-2009 Autumn
| Sec | Type | Instructor | Room | Units | Days | Times | ||
|---|---|---|---|---|---|---|---|---|
| 01 | Lecture | David Barker-Plummer | 200-034 | 4 | Mon Wed Fri | 9-9:50am |
 Shop
|
|
| 02 | Discussion | Staff | 260-002 | 4 | Thu | 1:15-2:05pm |
Shop
|
|
| 03 | Discussion | Staff | 60-120 | 4 | Fri | 10-10:50am |
Shop
|
|
| 04 | Discussion | Wesley Holliday | 60-118 | 4 | Tue | 4:15-5:05pm |
Shop
|
|
| 05 | Discussion | Rahul Chaudhri | 50-52H | 4 | Thu | 3:15-4:05pm |
Shop
|
|
| 06 | Discussion | Praveen Shanbhag | 110-111A | 4 | Mon | 5:15-6:05pm |
Shop
|
Readings
2007-2008 Autumn
| Sec | Kind | Books | ||
|---|---|---|---|---|
| 01 | Required Material(s) | Barwise: | Language Proof & Logic (Set:Txt/Software Pkg) | $65.00 |
2008-2009 Autumn
| Sec | Kind | Books | ||
|---|---|---|---|---|
| 01 | Required Material(s) | Barwise: | Language Proof & Logic (BOX)(Set:Txt/Software Pkg) | $65.00 |
Wiki
Log in with WebAuth to view the Wiki.