Comp Eng 5803: Mathematical Logic I
A mathematical introduction to logic with some applications. Functional and relational languages, satisfaction, soundness and completeness theorems, compactness theorems. Examples from Mathematics, Philosophy, Computer Science, and/or Computer Engineering.(Co-listed with Comp Sci 5203, Philos 4354 and Math 5154)
Additional Info:
Time/Day: 12:40 pm - 02:50 pm WEEK Prerequisites: Philos 3254 or Math 5105 or Comp Sci 2500 or Comp Eng 2210. Units: 3 Course Component(s): Lecture |
|
Books: The Logic of Thermostatical Physics by Gerard Emch and Chuang Liu
Mathematical Theory of Computation by Zohar Manna
Learning Automata: An Introduction by Kumpati S. Narendra and Mandayam A. L. Thathachar |
Attention Distance Students
For EdTech Media produced classes: Access to live and archived media is thru MediaSpace.
For other course content: please contact your instructor.
Enrollment Information | ||||
Campus | Delivery Mode | Class Status | Class Nbr | Section |
Distance Education | Internet | OPEN | 70734 | 1DI4 |
Course Access Information | ||||
Learning Management System | Canvas |