Revisão rápida da última aula. Discutiu uma conexão entre jogos e quantificadores. Descreveu o jogo da fórmula e mostrou que a geografia generalizada é PSPACE-completa. Introduziu espaço logarítmico: L e NL. Definiu o grafo de configuração para provar que NL ⊆ P.

Instrutor: Prof. Michael Sipser