| |
May 13, 2025
|
|
|
|
|
MATH 4030 - Computability and Logic
A team-based, project-oriented, hands-on introduction to great concepts and discoveries in logic and computability, including Turing Machines, first order logic, the limitations of computing machines, Godel’s incompleteness results and so forth. A hands-on laboratory component is included.
Prerequisites/Corequisites: Prerequisite: PHIL 2140.
When Offered: Spring term annually .
Cross Listed: (Cross-listed as PHIL 4420. Students cannot obtain credit for both this course and PHIL 4420.)
Credit Hours: 4
Add to Portfolio (opens a new window)
|
|
