集 中 講 義
1月13日(火)〜1月16日(金)
14:40〜17:10
(開講時間が通常と異なりますのでご注意ください!)
川井ホール
新井 敏康 講師
(神戸大学大学院工学研究科 教授)
講義題目
証明論入門
簡単な内容
証明論に関する簡単な内容を講義する入門講義。 カット消去を主な道具とする。
必要な予備知識
1階古典論理の完全性定理
談話会講演題目
繰り返すことについて
[概要]
数学教室のトップへ
今週のセミナーへ
来週以降のセミナーへ
談話会情報へ
集中講義情報へ