Logical methods for AI

Slides

The lecture decks, drawn by hand.

Logic and AI
Formal languages
Valid inference
Boolean algebra
Boolean satisfiability
Logical conditionals Coming soon
Logical proofs Coming soon
FOL Coming soon
FOL Inference Coming soon
Many-valued Logic Coming soon
Probability and inductive logic Coming soon
Logic and Neural Networks Coming soon