UI Wordmark

CS 498 MP4 - Special Topics - Logic in Computer Science

Campus: Urbana-Champaign


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.

Special Instructions:

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.

Option 1

Number of Required Visit(s): 0

Course Level: Graduate

Credit: 4

Term(s): Fall


Bachelor's Degree

Master's Degree

Doctoral Degree


Continuing Education

Search Programs

Search Courses


Contact Us

University of Illinois Online
Phone: (866) 633-8465 - Join Us  Facebook
© Copyright 2015 - University of Illinois

Cookie Settings