集中講義

1月13日（火）～1月16日（金）
14：40～17:10
(開講時間が通常と異なりますのでご注意ください！)
川井ホール

新井　敏康　講師
(神戸大学大学院工学研究科　教授)

		講義題目
		証明論入門

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

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

		談話会講演題目
		繰り返すことについて[概要]