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)
2.
Assignment 2 (due 03/10/2025)
Lecture 5. Boolean satisfiability
Slides