Spring 2024 Course Descriptions

CS 150-01 Logic for AI (or CS + AI)

M. Jahn, To Be Announced
MW 3:00-4:15, Room To Be Announced
I+ Block

The course will provide an overview of different logical systems to students interested in applications in AI, robotics, machine learning, programming languages, natural language understanding, and the semantic web. Starting with a brief review of standard propositional and first-order logic, the course will quickly dive into different modal logics, their proof systems, semantics, and model checking algorithms which are required for various applications in different CS fields. Of particular interest will be epistemic and temporal logics, but there will also be opportunities to discuss other non-standard logics that have applications in different areas of CS based on student interests.

Prerequisite: Senior standing or grad student

Back to Main Courses Page