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.
Probability and inductive logic
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 Logic
11.
Probability and inductive logic
12.
Logic and Neural Networks
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)
3.
Assignment 3 (due 24/10/2025)
Lecture 7. Logical proofs
Slides