集 中 講 義

1月13日(火)〜1月16日(金)
14:40〜17:10

(開講時間が通常と異なりますのでご注意ください!)
川井ホール
新井 敏康 講師
(神戸大学大学院工学研究科 教授)
講義題目
証明論入門

簡単な内容
証明論に関する簡単な内容を講義する入門講義。 カット消去を主な道具とする。


必要な予備知識
1階古典論理の完全性定理


談話会講演題目

繰り返すことについて[概要]



数学教室のトップへ 今週のセミナーへ 来週以降のセミナーへ 談話会情報へ 集中講義情報へ