- Coronavirus News
- Student News
- Submit News
Mathematical Logic I, credited as either Math 5154, Computer Engineering 5803, Computer Science 5203, or Philosophy 4354, will be offered starting Monday, Feb. 1, and ending Friday, Feb. 26. Dr. Matt Insall will teach this asynchronous four-week course. For more information about the course, call Insall at 341-4901.
The course provides a mathematical introduction to logic with some applications, including functional and relational languages, satisfaction, soundness and completeness theorems, and compactness theorems. Examples from mathematics, philosophy, computer science and computer engineering will be provided. Prerequisites are Philosophy 1115 with junior standing or Math 5105 or Computer Science 2500, or Computer Engineering 2210 with consent of the instructor.