休講:4/26, 5/3 平常授業:5/10
授業スライド こちらから 宿題 こちらから
前回の復習 準備:形式言語 項(Term) 命題 論理結合子 自然演繹:⇒の導入・除去規則 ⇒の導入規則 ⇒の除去規則 今後の予定
授業第二回目、形式言語の帰納的定義と、自然演繹の⇒の導入規則・除去規則について紹介します。
引用をストックしました
引用するにはまずログインしてください
引用をストックできませんでした。再度お試しください
限定公開記事のため引用できません。