Logical methods for AI

Exercises

Tutorial sheets, with solutions to check yourself against.

Preamble
Logic and AI
Formal languages
Valid inference
Boolean algebra Coming soon
Boolean satisfiability Coming soon
Logical conditionals Coming soon
Logical proofs Coming soon
FOL Coming soon
FOL inference Coming soon
Many-valued logics Coming soon
Logic and probability Coming soon
Logic and neural networks Coming soon