2016-01-05から1日間の記事一覧
大変申し訳ありません、今週は会議準備が終わりそうにないため、急遽、休講とさせて頂きます。 次回は1月12日の予定です。 1月12日:平常授業(古典論理とそのモデル) 1月19日:平常授業(古典論理の完全性定理) 2月エクストラ補講:エルブランの定理(古典論…
大変申し訳ありません、今週は会議準備が終わりそうにないため、急遽、休講とさせて頂きます。 次回は1月12日の予定です。 1月12日:平常授業(古典論理とそのモデル) 1月19日:平常授業(古典論理の完全性定理) 2月エクストラ補講:エルブランの定理(古典論…