#
**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