CS 498 MP3
CS 498 MP3 - Logic in Computer Science
|Logic in Computer Science||CS498||MP3||49190||E3||3||1100 - 1215||T R||Madhusudan Parthasarathy|
|Logic in Computer Science||CS498||MP4||49191||E3||4||1100 - 1215||T R|
Subject offerings of new and developing areas of knowledge in computer science intended to augment the existing curriculum. See Class Schedule or departmental course information for topics and prerequisites. Course Information: 1 to 4 undergraduate hours. 1 to 4 graduate hours. May be repeated in the same or separate terms if topics vary.
There will be asynchronous recorded lectures and additional synchronous online activities. This course will provide an introduction to mathematical logic from the perspective of computer science, emphasizing proof systems, decidable fragments, connections to computability and complexity, and decision algorithms. The topics covered will be motivated by applications in artificial intelligence, machine learning logics, databases, formal verification and theoretical computer science. The goal of the course is to prepare students for using logic as an effective tool in computer science, with associated tools.