IA
Logical methods for AI
Lecture slides
This work is licensed under CC BY 4.0
Teaser lecture
Lectures
- Lecture 1. Logic and AI 2. Logic and AI
- Lecture 2. Valid inference 2. Valid inference
- Lecture 3. Formal languages 2. Formal languages
- Lecture 4. Boolean algebra 2. Boolean algebra
- Lecture 5. Boolean satisfiability 2. Boolean satisfiability
- Lecture 6. Logical conditionals 2. Logical conditionals
- Lecture 7. Logical proofs 2. Logical proofs
- Lecture 8. FOL 2. FOL