公理体系（院）（記号/命題/述語論理）

※担当からのお知らせ
　CAIを2005年4月以降追加しますが，追加する場合には事前に予告し，追加した場合でも2004年4月までの入学生については現状のままとします。

テキスト（目次） / PDF版

• 第１回 RealVideo:約15分, Web教材（1.1.1 記号論理とは 〜）
• 第２回 RealVideo:約28分, Web教材（1.1.6 真理関数 〜） , CAI テスト1 : テスト2 :

• 第３回 RealVideo:約25分, Web教材（2.1.1 命題論理の公理系 〜） , CAI テスト3 : テスト4 : テスト5 : テスト6
• 第４回 RealVideo:約23分, Web教材（2.1.4 無矛盾性 〜） , CAI テスト7 : テスト8 : テスト9 : テスト10 : テスト11

• 第５回 RealVideo:約16分, Web教材（3.1.1 述語論理 〜）
• 第６回 RealVideo:約15分, Web教材（3.1.5 基本的な性質 〜） , CAI テスト12 : テスト13 : テスト14 : テスト15 : テスト16 : テスト17 : テスト18 : テスト19 テスト20 : テスト21 : テスト22 :

• 第７回 RealVideo:約16分, Web教材（4.1.1 述語論理の公理系 〜）
• 第８回 RealVideo:約15分, Web教材（4.1.7 演繹定理 〜）
• 第９回 RealVideo:約13分, Web教材（4.1.9 充足性とモデル 〜） , CAI テスト23 : テスト24

公理体系（記号/命題/述語論理）：掲示板

担当：師玉 / 電子メール