Lecture Notes | Techniques in Artificial Intelligence (SMA 5504) | Electrical Engineering and Comput

Notes from lectures 6 and 21 are not available. Lecture 1: What is Artificial Intelligence (AI)? (PDF) Lecture 2: Problem Solving and Search (PDF) Lecture 3: Logic (PDF) Lecture 4.: Satisfiability and Validity (PDF - 1.2 MB) Lecture 5.: First-Order Logic

ocw.mit.edu