Mathematical Logic I, credited as either Math 5154, Computer Engineering 5803, Computer Science 5203, or Philosophy 4354, will be offered starting Wednesday, Feb. 1, and ending Wednesday, March 1. Dr. Matt Insall, associate professor of mathematics and statistics, will teach this asynchronous four-week course. For more information about the course, please contact 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 3254, Math 5105, Computer Science 2500, or Computer Engineering 2210 with consent of the instructor.