2014-08-19から1日間の記事一覧
夏期補講の時期です。今回は、三回分(第11回、12回、13回)の授業を行います。 授業内容 補講日:8月19日(月) 場所:第9講義室 内容: 10:30-12:00 (第11回)最小述語論理の証明問題・演習 13:30-15:00 (第12回)形式的自然数論Q 授業スライドこちらか…
夏期補講の時期です。今回は、三回分(第11回、12回、13回)の授業を行います。 授業内容 補講日:8月19日(月) 場所:第9講義室 内容: 10:30-12:00 (第11回)最小述語論理の証明問題・演習 13:30-15:00 (第12回)形式的自然数論Q 授業スライドこちらか…