公理体系(学部)

<情報工学科・CAI科目>  2年後期「数理論理」(専門・選択・3単位)


items

先修推奨: ありません。
セット履修: 単位認定のためには、CAI科目「情報論理学」とのセット履修が必要です。

担当: 師玉 康成 (shidama@cs.shinshu-u.ac.jp

質問・相談用掲示板
CAI進捗状況(学部)

テキスト・目次・必須CAI課題一覧

テキスト(PDF版) 76ページ/280KB

目次

各章の内容 必須CA課題(学部)
RealVideo 1. 命題論理1(記号論理〜)  
RealVideo 2. 命題論理2(真理関数〜) CAI#01 #02
RealVideo 3. 命題論理の公理系 CAI#03 #04 #05 #06
RealVideo 4. 無矛盾性 CAI#07 #08 #09 #10 #11

 

what's new?


2004. 3. 27
公理体系(学部)の講義CAIマテリアルを作成しました

学部CAI開講科目「公理体系」のweb教材に必要な、講義CAIマテリアルを作成しました。単位認定のためには、CAI科目「情報論理学」とのセット履修が必要です。

 

 


shidama@cs.shinshu-u.ac.jp
Copyright(c) 2005 by Yasunari Shidama. All rights reserved.