Cette séance de cours couvre la théorie du calcul, axée sur la comptabilité et les problèmes indécis. Elle se penche sur l'étude des problèmes qui peuvent être résolus efficacement par des algorithmes, le concept de comptabilité, les classes de complexité P et NP, les cas de problèmes, les tables de recherche, la comparaison des ensembles infinis, et l'arrêt du problème de l'indécidabilité.