A four-unit course on how artificial intelligence actually reasons — from inference and entailment to notation, meta-logic, and models. 32 micro-lectures with an AI tutor, adaptive practice, and AI-graded assessments. No math or coding background required. Sign in with Google to start the course.