2009-06-01から1ヶ月間の記事一覧
Robinson算術 Q については、以下の本を参考にしてください。Computability and Logic作者: George S. Boolos,John P. Burgess,Richard C. Jeffrey出版社/メーカー: Cambridge University Press発売日: 2007/09/17メディア: ペーパーバック クリック: 5回こ…
授業スライド・宿題 こちらから
前回の復習 関数の再帰的定義 自然数論(練習問題) 宿題について
平常授業:6/16 休講: 6/23, 6/30 平常授業:7/7, 7/14 補講: 7/21(?)*1 *1:未定です。
授業第九回目、自然数論と関数の再帰的定義についてご紹介します。
今回の宿題は、希望者のみやってきてください。
なお、第六回で紹介した∀の導入ルールについて、今回少し変更します。詳細は、授業スライドをご覧ください。
授業スライド・宿題 こちらから
前回の復習 注意(∀の導入ルールについて) 宿題の答え合わせ 自然数論 宿題について
平常授業:6/16 休講: 6/23, 6/30 平常授業:7/7, 7/14 補講: 7/21(?)*1 *1:未定です。
授業第八回目、実際の数学における論理の使い方の例として、自然数論についてご紹介します。
授業中に注意したように、以下の条件を追加しました。 Bはyを自由変数として含まない Fはyを自由変数として含まない
授業スライド こちらから 宿題 こちらから
前回の復習 宿題の答え合わせ 述語論理:∃の導入と除去 宿題について
授業第七回目、∃の導入・除去規則についてです。