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

登録内容 (EID=216025)

EID=216025EID:216025, Map:[2010/数理論理学], LastModified:2011年1月19日(水) 19:30:18, Operator:[北 研二], Avail:TRUE, Censor:0, Owner:[[教務委員会委員]/[徳島大学.工学部.知能情報工学科]], Read:継承, Write:継承, Delete:継承.
○種別 (必須): □工学部•昼間 (授業概要) [継承]
○入学年度 (必須): □西暦 2011年 (平成 23年) [継承]
○名称 (必須): □ (英) Mathematical Logic (日) 数理論理学 (読) すうりろんりがく
[継承]
○形態 (不用): 1.講義 [継承]
○コース (必須): 1.2011/[徳島大学.工学部.知能情報工学科]/[昼間コース] [継承]
○担当教員 (必須): 1.北 研二
○肩書 (任意):
[継承]
○単位 (必須): □2 [継承]
○目的 (必須): □(英)   (日) 近年，計算機科学の色々な分野で数理論理学が用いられるようになってきている. 本講義では，計算機科学を専攻する上で知っておくべき数理論理学の基礎について講述する.   [継承]
○概要 (必須): □(英)   (日) まず数理論理学を学ぶ上で最も基礎になる命題論理について説明し，論理式の真偽，トートロジー，証明可能性等について論じる. その後，命題論理を述語論理へ拡張し，述語論理の論理式，形式的体系等について論じる.   [継承]
○キーワード (推奨): 1.命題論理 (propositional logic) [継承]
2.述語論理 (predicate logic) [継承]
3.導出原理 (resolution principle) [継承]
○先行科目 (推奨): 1.離散数学 ([2011/[徳島大学.工学部.知能情報工学科]/[昼間コース]]/->授業概要[2010/離散数学])
○必要度 (任意):
[継承]
○関連科目 (推奨): 1.知識システム ([2011/[徳島大学.工学部.知能情報工学科]/[昼間コース]]/->授業概要[2010/知識システム])
○関連度 (任意):
[継承]
○要件 (任意): □(英)   (日) 特になし．   [継承]
○注意 (任意):
○目標 (必須): 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時間の授業時間毎に2時間の予習と2時間の復習をし たうえで授業を受けることが，授業の理解と単位取得のために必要である．   [継承]
2.(英)   (日) 授業計画1∼13は，各講義の最後に行なわれる演習および最終試験により達成度評価を行なう．   [継承]

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

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

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

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

閲覧 【授業概要】(2010/数理論理学) ←閲覧 【授業概要】(2011/数理論理学) ←（なし）

標準的な表示

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

関連情報

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

閲覧【教育プログラム】…(1) 閲覧【授業概要】…(1)
Number of session users = 0, LA = 0.68, Max(EID) = 414354, Max(EOID) = 1117931.