IA
Logical methods for AI
Tutorial excercises for tutorials
This work is licensed under CC BY 4.0
Tutorials
- Tutorial 1. Logic and AI 3. Logic and AI
- Tutorial 2. Valid inference 3. Valid inference
- Tutorial 3. Formal languages 3. Formal languages
- Tutorial 4. Boolean algebra 3. Boolean algebra
- Tutorial 5. Boolean satisfiability 3. Boolean satisfiability
- Tutorial 6. Logical conditionals 3. Logical conditionals
- Tutorial 7. Logical proofs 3. Logical proofs