Mathematical Logic
MATH 243
Fall 2025
| Section:
01
|
This course is an introduction to mathematical logic, including first-order logic and model theory, axiomatic set theory, and, as time permits, Goedel's incompleteness theorem. |
|
| Credit: 1 |
Gen Ed Area Dept:
NSM MATH |
| Course Format: Lecture | Grading Mode: Graded |
| Level: UGRD |
Prerequisites: MATH228 |
|
Fulfills a Requirement for: (Computer Science)(Mathematics)(Neuroscience and Behavior) |
|
Past Enrollment Probability: 75% - 89% |
| SECTION 01 |
Major Readings: Wesleyan RJ Julia Bookstore
|
Examinations and Assignments:
|
Additional Requirements and/or Comments:
This course offers an introduction to Mathematical Logic. In order to strip away some of the finicky complexities that often appear in courses like this, we¿ll approach the subject through Universal Algebra. By the end of the course, students will understand the Soundness and Completeness Theorems for First-order logic, and on the algebraic side, they should understand some common features of all basic classes of algebraic structures that are studied in ¿mainstream¿ mathematics. |
| Instructor(s): Hill,Cameron Times: ..T.R.. 02:50PM-04:10PM; Location: TBA |
| Total Enrollment Limit: 30 | | SR major: 10 | JR major: 10 | | |
| Seats Available: 30 | GRAD: X | SR non-major: 0 | JR non-major: 2 | SO: 8 | FR: 0 |
| Drop/Add Enrollment Requests | | | | | |
| Total Submitted Requests: 0 | 1st Ranked: 0 | 2nd Ranked: 0 | 3rd Ranked: 0 | 4th Ranked: 0 | Unranked: 0 |
|
|