基礎演習 I 論理学

京都大学文学部の「基礎演習 I 論理学」(毎週火曜日16:30〜18:00)の授業Blogです。

2021-09-01から1ヶ月間の記事一覧

第177回CAPEレクチャー(2021/09/12) 日時: 2021年09月12日(日) 16:00-18:00 開催方法:Youtubeにて中継 タイトル: 構成と解体:原始再帰関数の計算と推論の共通点 アブストラクト: 推論と計算はよく似ていると言われ、多くの共通点が指摘されています。その中…