CS 498 MP3 - Logic in Computer Science

Fall 2020

Logic in Computer ScienceCS498MP349190E331100 - 1215 T R    Madhusudan Parthasarathy
Logic in Computer ScienceCS498MP449191E341100 - 1215 T R    

Official Description

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.

Section Description

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.

Last updated