第１回 チューリング機械１，チューリング機械２（４ページまで） 第２回 チューリング機械２（５ページから），データのコード化 第３回 多テープチューリング機械１，第５回 多テープチューリング機械２ 第４回 チューリング機械計算可能性 第５回 Sプログラム入門，Sプログラム計算可能性 第６回 原始帰納的関数，帰納的関数 第７回 原始帰納的関数のプログラミング・テクニック 第８回 ゲーデル数 第９回 帰納的関数とチューリング機械 第１０回 原始帰納的関数と帰納的関数 第１１回 while と for-times 第１２回 帰納的関数とSプログラム 第１３回 λ計算（９ページまで） 第１４回 λ計算（１０ページから），自然数のコード化 第１５回 λ計算可能性