2014-01-13から1日間の記事一覧
授業スライド こちらから 授業要約・宿題 こちらから
前回の復習 古典命題論理の完全性 古典命題論理の健全性
緊急連絡:会議時間変更のため、場合によっては授業が当日急遽中止になる可能性があります。中止の場合はブログ・メールで連絡しますので、連絡があるか注意をお願いします。 授業第二十二回目、本日は古典命題論理の完全性定理と健全性定理の話をします。 今…
授業スライド こちらから 授業要約・宿題 こちらから
前回の復習 古典命題論理の完全性 古典命題論理の健全性
緊急連絡:会議時間変更のため、場合によっては授業が当日急遽中止になる可能性があります。中止の場合はブログ・メールで連絡しますので、連絡があるか注意をお願いします。 授業第二十二回目、本日は古典命題論理の完全性定理と健全性定理の話をします。 今…