2016-05-24から1日間の記事一覧
今後の授業日程 先週授業でお知らせしたように、来週5/31は、都合により休講とさせて頂きます。よろしくお願いいたします。 授業内容 授業第五回目の今回は、メタの世界の「かつ」と「または」をシミュレートする、自然演繹の∧と∨の、導入規則・除去規則…
今後の授業日程 先週授業でお知らせしたように、来週5/31は、都合により休講とさせて頂きます。よろしくお願いいたします。 授業内容 授業第五回目の今回は、メタの世界の「かつ」と「または」をシミュレートする、自然演繹の∧と∨の、導入規則・除去規則…