Browse course
About
Textbook
1.
Logic and AI
2.
Formal languages
3.
Valid Inference
4.
Boolean algebra
5.
Boolean satisfiability
6.
Logical conditionals
7.
Logical proofs
8.
FOL
9.
FOL Inference
10.
Many-valued logics
11.
Logic and probability
12.
Logic-based learning
Slides
0.
Preamble
1.
Logic and AI
2.
Formal languages
3.
Valid inference
4.
Boolean algebra
5.
Boolean satisfiability
6.
Logical conditionals
7.
Logical proofs
8.
FOL
9.
FOL inference
10.
Many-valued logics
11.
Logic and probability
12.
Logical learning
Exercises
0.
Preamble
1.
Logic and AI
2.
Formal languages
3.
Valid inference
4.
Boolean algebra
5.
Boolean satisfiability
6.
Logical conditionals
7.
Logical proofs
8.
FOL
9.
FOL inference
10.
Many-valued logics
11.
Logic and probability
12.
Logical learning
Assignments
1.
Assignment 1 (due 09/19/2025)
NB!
This course is still under active development. Content will regularly be added and updated. Check regularly for updates!
🧑🏫
About
Learn about this class!
📖
Textbook
Read before class!
🚀
Slides
Follow during class!
🏋️
Exercises
Practice after class!
📝
Assignments
Homework!
