Mathematical Logic
Download as PDF
Course Description
An introduction to the concepts and techniques used in mathematical logic, focusing on propositional, modal, and predicate logic. Highlights connections with philosophy, mathematics, computer science, linguistics, and neighboring fields.
Cross Listed Courses
Grading Basis
ROP - Letter or Credit/No Credit
Min
4
Max
4
Course Repeatable for Degree Credit?
No
Course Component
Discussion
Enrollment Optional?
Yes
Course Component
Lecture
Enrollment Optional?
No
This course has been approved for the following WAYS
Formal Reasoning (FR)
Does this course satisfy the University Language Requirement?
No
Courses
PHIL250
is a
prerequisite
for:
Programs
PHIL250
is a
completion requirement
for: