2020-03-15から1日間の記事一覧
CAPE レクチャー 「論理学上級」 日時:3月15日(日) 13:00-15:00, 15:30-17:30 3月15日の中継はコチラ www.youtube.com3月15日の質問はコチラへ zoom.us配布資料はコチラから www.academia.edu テーマ:古典論理の推件計算と計算的内実 内容: 古典論理は…
CAPE レクチャー 「論理学上級」 日時:3月15日(日) 13:00-15:00, 15:30-17:30 3月15日の中継はコチラ www.youtube.com3月15日の質問はコチラへ zoom.us配布資料はコチラから www.academia.edu テーマ:古典論理の推件計算と計算的内実 内容: 古典論理は…