Exercises

Tutorial sheets, with solutions to check yourself against.

Preamble
Logic and AI
Formal languages
Valid inference
Boolean algebra
Boolean SAT
Logical conditionals
Logical proofs
FOL
FOL inference
Many-valued logics
Probability and inductive logic
Logic and neural networks

Logical methods for AI An open course on the logical foundations of AI, taught at Utrecht University. Not officially reviewed or approved by the university.

License Course content under CC BY 4.0; site code under MIT. No trackers, no analytics, no cookies. What the site stores.

Source jkorb/logicalmethods.ai
About this site
AI disclosure