Skip to content
The forall-I mark
I
logicalmethods.ai
Textbook
Exercises
Slides
Tools
Study
system
Logical methods for AI
Slides
The lecture decks, drawn by hand.
Course mascot at a whiteboard
I
01
Logic and AI
02
Formal languages
03
Valid inference
04
Boolean algebra
05
Boolean satisfiability
06
Logical conditionals
07
Logical proofs
08
FOL
09
FOL Inference
10
Many-valued Logic
11
Probability and inductive logic
Coming soon
12
Logic and Neural Networks
Coming soon