徳島大学 教育・研究者情報データベース(EDB)

Education and Research Database (EDB), Tokushima University

徳島大学ウェブサイトへのリンク

授業概要: 2010/数理論理学

ヘルプを読む

「授業概要」(授業概要のリスト)は,授業の概要を登録するテーブルです. (この情報が属するテーブルの詳細な定義を見る)

  • 項目名の部分にマウスカーソルを置いて少し待つと,項目の簡単な説明がツールチップ表示されます.

この情報をEDB閲覧画面で開く

EID
196606
EOID
501462
Map
[2009/数理論理学]
LastModified
2010年1月13日(水) 11:23:55
Operator
北 研二
Avail
TRUE
Censor
0
Owner
[教務委員会委員]/[徳島大学.工学部.知能情報工学科]
Read
継承
Write
継承
Delete
継承
種別 必須 工学部•昼間 (授業概要)
入学年度 必須 西暦 2010年 (平成 22年)
名称 必須 (英) Mathematical Logic / (日) 数理論理学 / (読) すうりろんりがく
形態 不用
  1. 講義
コース 必須
  1. 2010/[徳島大学.工学部.知能情報工学科]/[昼間コース]
担当教員 必須
  1. 北 研二([徳島大学.大学院社会産業理工学研究部.理工学域.知能情報系.情報工学分野]/[徳島大学.理工学部.理工学科.情報光システムコース.情報工学講座])
    肩書 任意
単位 必須 2
目的 必須

(日) 近年,計算機科学の色々な分野で数理論理学が用いられるようになってきている. 本講義では,計算機科学を専攻する上で知っておくべき数理論理学の基礎について講述する.

概要 必須

(日) まず数理論理学を学ぶ上で最も基礎になる命題論理について説明し,論理式の真偽,トートロジー,証明可能性等について論じる. その後,命題論理を述語論理へ拡張し,述語論理の論理式,形式的体系等について論じる.

キーワード 推奨
  1. 命題論理(propositional logic)
  2. 述語論理(predicate logic)
  3. 導出原理(resolution principle)
先行科目 推奨
  1. 離散数学([2010/[徳島大学.工学部.知能情報工学科]/[昼間コース]]/->授業概要[2009/離散数学とグラフ理論1])
    必要度 任意
関連科目 推奨
  1. 知識システム([2010/[徳島大学.工学部.知能情報工学科]/[昼間コース]]/->授業概要[2009/人工知能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. (日) 毎回の予習·復習を欠かさず行うこと.

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