2013-07-21から1日間の記事一覧
補講日：8月19日（月） 内容： 10:30-12:00 形式的自然数論Ｑ 13:30-15:00 2+2=4 15:30-17:00 原始再帰関数の表現可能性
基礎演習 I 論理学
京都大学文学部の「基礎演習 I 論理学」（毎週火曜日16:30〜18:00）の授業Blogです。
補講日：8月19日（月） 内容： 10:30-12:00 形式的自然数論Ｑ 13:30-15:00 2+2=4 15:30-17:00 原始再帰関数の表現可能性
