2011-04-01から1ヶ月間の記事一覧
4月26日(火)は、講師の急用のため、休講とします。
休講:4/26, 5/3 平常授業:5/10
授業スライド こちらから 宿題 こちらから
前回の復習 準備:形式言語 項(Term) 命題 論理結合子 自然演繹:⇒の導入・除去規則 ⇒の導入規則 ⇒の除去規則 今後の予定
授業第二回目、形式言語の帰納的定義と、自然演繹の⇒の導入規則・除去規則について紹介します。
授業スライド こちらからダウンロード可能 参考資料 Lecture note of Logic (Helmut Schwichtenberg): ファイルはこちらから入手可能 日本語資料:金子洋之氏作成の日本語資料
演習の説明(目的・進め方・成績評価の仕方・参考書) 論理とは何か(授業の内容・方針) キーワード 授業計画
授業第一回目、授業内容の概観とキーワード(メタと対象、統辞論と意味論)を説明します。
題目:論理学演習 授業のテーマと目的 本演習では、数学における定理の証明がシミュレートできるような、記号を処理する体系(「形式的体系」)を紹介する。具体的には、最小述語論理の自然演繹の体系の解説から始め、最小論理・直観主義論理・古典論理での…