∀ + =
Logical methods for AI
A first logic course for AI undergrads.
Learn logic via AI applications!
A first logic course for AI undergrads.
Learn logic via AI applications!
This page containes the material for the course Logical methods for AI as taught at Utrecht University .
The material is intended for students taking the course, but it’s freely available to anyone interested.
The course has 12 lectures.
Each lecture lecture has a chapter from the textbook. Read the chapter before the lecture.
During the lecture, you can follow along with the slides. Ask questions!
Each lecture has an exercise set. After the lecture, there’s a tutorial to work on it and hand in homework.
The quizzes help you prepare for the final. They are not graded.