証明、集合論、再帰関数、数え上げ、確率などをオムニバスで学ぶ授業。中間試験、期末試験があるMITが無料で公開しているテキスト（英語）が教科書。英語で書かれているものの複雑ではないためやる気のある人は読んでおくといいかもしれない。授業は教授方が作った和訳のスライドを使って進む。授業の終わりに小テストを行うのだが、スライドを見ながらでよいので大丈夫。テスト問題は演習問題と同じ、ないしは簡単になっているので演習問題をやれば十分。

(旧石池, 2019年度の投稿)