This lecture covers operational semantics and evaluation strategies in lambda calculus. It explains computation rules, redex, alternative evaluation strategies, classical lambda calculus, full beta reduction, substitution, alpha conversion, multiple arguments, programming in lambda calculus, confluence, Church Booleans, and functions on Booleans.