『徳島大学 教育・研究者情報データベース (EDB)』---[学外] /
ID: Pass:

登録内容 (EID=168693)

EID=168693EID:168693, Map:[2007/数理論理学], LastModified:2008年1月26日(土) 21:40:17, Operator:[北 研二], Avail:TRUE, Censor:0, Owner:[[教務委員会委員]/[徳島大学.工学部.知能情報工学科]], Read:継承, Write:継承, Delete:継承.
○種別 (必須): □工学部•昼間 (授業概要) [継承]
○入学年度 (必須): □西暦 2008年 (平成 20年) [継承]
○名称 (必須): □ (英) Mathematical Logic (日) 数理論理学 (読) すうりろんりがく
[継承]
○形態 (不用): 1.講義 [継承]
○コース (必須): 1.2008/[徳島大学.工学部.知能情報工学科]/[昼間コース] [継承]
○担当教員 (必須): 1.北 研二
○肩書 (任意):
[継承]
○単位 (必須): □2 [継承]
○目的 (必須): □(英)   (日) 近年，計算機科学の色々な分野で数理論理学が用いられるようになってきている. 本講義では，計算機科学を専攻する上で知っておくべき数理論理学の基礎について講述する.   [継承]
○概要 (必須): □(英)   (日) まず数理論理学を学ぶ上で最も基礎になる命題論理について説明し，論理式の真偽，トートロジー，証明可能性等について論じる. その後，命題論理を述語論理へ拡張し，述語論理の論理式，形式的体系等について論じる.   [継承]
○キーワード (推奨): 1.命題論理 (propositional logic) [継承]
2.述語論理 (predicate logic) [継承]
3.導出原理 (resolution principle) [継承]
○先行科目 (推奨): 1.離散数学とグラフ理論1 ([2008/[徳島大学.工学部.知能情報工学科]/[昼間コース]]/->授業概要[2007/離散数学とグラフ理論1])
○必要度 (任意):
[継承]
○関連科目 (推奨): 1.人工知能1 ([2008/[徳島大学.工学部.知能情報工学科]/[昼間コース]]/->授業概要[2007/人工知能1])
○関連度 (任意):
[継承]
○要件 (任意): □(英)   (日) 特になし．   [継承]
○注意 (任意):
○目標 (必須): 1.(英)   (日) コンピュータで各種問題を扱う際に重要となる 問題の形式化，数学的モデル化などの基礎的な 能力を修得する．  
[継承]
○計画 (必須): 1.(英)   (日) 命題と論理式  
[継承]
2.(英)   (日) 論理式と真偽  
[継承]
3.(英)   (日) 命題論理式の性質  
[継承]
4.(英)   (日) 命題論理式の解釈  
[継承]
5.(英)   (日) 命題論理式の標準形  
[継承]
6.(英)   (日) 命題論理と公理系  
[継承]
7.(英)   (日) 命題論理と推論  
[継承]
8.(英)   (日) 述語論理の論理式1  
[継承]
9.(英)   (日) 述語論理の論理式2  
[継承]
10.(英)   (日) 述語論理の解釈  
[継承]
11.(英)   (日) 述語論理式の標準形  
[継承]
12.(英)   (日) 述語論理と導出原理1  
[継承]
13.(英)   (日) 述語論理と導出原理2  
[継承]
14.(英)   (日) 演習1  
[継承]
15.(英)   (日) 演習2  
[継承]
16.(英)   (日) 定期試  
[継承]
○評価 (必須): □(英)   (日) 受講姿勢，レポートの提出状況と内容，小テスト及び中間試験，定期試験の成績を総合して行う.   [継承]
○JABEE合格 (任意):
○JABEE関連 (任意):
○対象学生 (任意): □開講コース学生のみ履修可能 [継承]
○教科書 (必須): 1.(英)   (日) 小倉久和·高濱徹行 著「情報の論理数学入門」近代科学社   [継承]
○参考資料 (推奨): 1.(英)   (日) 特になし   [継承]
○URL (任意):
○連絡先 (推奨): 1.北 研二
○オフィスアワー (任意): □(英) Tuesday 12:50 - 14:20  (日) 火曜日 12:50 - 14:20   [継承]
[継承]
○科目コード (推奨):
○備考 (任意): 1.(英)   (日) 毎回の予習·復習を欠かさず行うこと. 随時，レポート及び小テストを実施する.   [継承]
2.(英)   (日) 成績評価に対する平常点と試験の比率は4:6とする. 平常点には受講姿勢，レポートの提出状況と内容を含み，試験には小テスト及び中間試験·定期試験の成績を含む.   [継承]

●この色で表示されている項目はマップによって参照された内容です．

マップを行っている情報の編集について

マップによって参照している箇所を修正する場合には，次のようにしてください．
  • マップ先の記述とこの情報の記述を同時に修正する場合．
    →マップ先の情報（
        →閲覧 【授業概要】(2007/数理論理学)
            →閲覧 【授業概要】(2006/数理論理学)
    ）で編集を行なってください．
  • マップ先の記述は変更せずこの情報のみを変更する場合．
    →この頁で編集を行なってください．
    [注意] 編集画面では，マップによる参照によって得た内容は表示されません．
    [注意] 参照は同じ名前の項目がある場合に行なわれます．
    [注意] 項目を無記入にすると参照が行なわれ，それ以外には参照が行なわれません．（項目単位）

この情報を取り巻くマップ

閲覧 【授業概要】(2007/数理論理学) ←閲覧 【授業概要】(2008/数理論理学) ←閲覧 【授業概要】(2009/数理論理学)

標準的な表示

和文冊子 ● 数理論理学 / Mathematical Logic
欧文冊子 ● Mathematical Logic / 数理論理学

関連情報

この情報を参照している情報

閲覧【教育プログラム】…(2) 閲覧【授業概要】…(2) 閲覧【担当授業】…(2)

この情報をマップしている情報

閲覧【授業概要】…(2)
Number of session users = 1, LA = 0.49, Max(EID) = 414738, Max(EOID) = 1119539.