CS 498 MP3
CS 498 MP3 - Logic in Computer Science
Fall 2020
Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|---|
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 |
See full schedule from Course Explorer
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
8/25/2015