【日記】 午前、寝坊して15分位2限の講義に遅刻。これではいかん。２限の講義内容は、命題論理のカルノーマップ、トートロジー、論理表現の公理など。 教科書が丁寧過ぎて普通に読んでるだけで中身が分かる。・・英語だけど。 次回、定理の自動証明(Prolog？…