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) |
| 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: SCIE109; |
| Total Enrollment Limit: 30 | | SR major: 10 | JR major: 10 | | |
| | GRAD: X | SR non-major: 0 | JR non-major: 2 | SO: 8 | FR: 0 |
|
|