Cette séance de cours couvre les bases de l'induction, de la syntaxe, de la syntaxe abstraite vs. concrète, des règles d'inférence et de la sémantique opérationnelle pour les booléens. Il traite également des machines abstraites, des arbres de dérivation et de l'induction sur les dérivations. L'instructeur explique la relation d'évaluation, les formes normales, les valeurs et introduit de nouvelles formes syntaxiques comme les nombres.