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

登録内容 (EID=103129)

EID=103129EID:103129, Map:0, LastModified:2011年4月11日(月) 15:48:54, Operator:[大家 隆弘], Avail:TRUE, Censor:0, Owner:[[センター長]/[徳島大学.全学共通教育センター]], Read:継承, Write:継承, Delete:継承.
種別 (必須): 全学共通教育 (授業概要) [継承]
入学年度 (必須): 西暦 2004年 (平成 16年) [継承]
名称 (必須): (英) (日) 総合科目 (読) そうごうかもく
題目 (必須): (英) (日) 数理論理学 (読) [継承]
[継承]
形態 (推奨):
コース (必須): 1.2004/[徳島大学]/教養科目 総合分野/[共通教育] [継承]
担当教員 (必須): 1.北 研二 ([徳島大学.大学院社会産業理工学研究部.理工学域.知能情報系.情報工学分野]/[徳島大学.理工学部.理工学科.情報光システムコース.情報工学講座])
肩書 (任意):
[継承]
単位 (必須): 2 [継承]
目的 (必須): (英)   (日) 近年,計算機科学の色々な分野で数理論理学が用いられるようになってきている. 本講義では,計算機科学を専攻する上で知っておくべき数理論理学の基礎について講述する.   [継承]
概要 (必須): (英)   (日) まず数理論理学を学ぶ上で最も基礎になる命題論理について説明し,論理式の真偽,トートロジー,証明可能性等について論じる. その後,命題論理を述語論理へ拡張し,述語論理の論理式,形式的体系等について論じる.   [継承]
キーワード (推奨):
先行科目 (推奨):
関連科目 (推奨):
注意 (任意): (英)   (日) 毎回の予習·復習を欠かさず行うこと. 随時,レポート及び小テストを実施する.,成績評価に対する平常点と試験の比率は4:6とする. 平常点には受講姿勢,レポートの提出状況と内容を含み,試験には小テスト及び中間試験·定期試験の成績を含む.   [継承]
目標 (必須): 1.(英)   (日) コンピュータで各種問題を扱う際に重要となる 問題の形式化,数学的モデル化などの基礎的な 能力を修得する.  
[継承]
計画 (必須): 1.(英)   (日) 1. 命題と論理式  
[継承]
2.(英)   (日) 2. 論理式と真偽  
[継承]
3.(英)   (日) 3. 命題論理式の性質  
[継承]
4.(英)   (日) 4. 命題論理式の解釈  
[継承]
5.(英)   (日) 5. 命題論理式の標準形  
[継承]
6.(英)   (日) 6. 命題論理と公理系  
[継承]
7.(英)   (日) 7. 命題論理と推論  
[継承]
8.(英)   (日) 8. 中間試験  
[継承]
9.(英)   (日) 9. 述語論理の論理式1  
[継承]
10.(英)   (日) 10. 述語論理の論理式1  
[継承]
11.(英)   (日) 11. 述語論理の解釈  
[継承]
12.(英)   (日) 12. 述語論理式の標準形  
[継承]
13.(英)   (日) 13. 述語論理と導出原理1  
[継承]
14.(英)   (日) 14. 述語論理と導出原理2  
[継承]
15.(英)   (日) 15. 予備日  
[継承]
16.(英)   (日) 16. 定期試験  
[継承]
評価 (必須): (英)   (日) 受講姿勢,レポートの提出状況と内容,小テスト及び中間試験,定期試験の成績を総合して行う.   [継承]
再評価 (必須):
教科書 (必須): 1.(英)   (日) 小倉久和·高濱徹行 著「情報の論理数学入門」近代科学社   [継承]
参考資料 (推奨):
URL (任意):
連絡先 (推奨): 1.北 研二 ([徳島大学.大学院社会産業理工学研究部.理工学域.知能情報系.情報工学分野]/[徳島大学.理工学部.理工学科.情報光システムコース.情報工学講座])
オフィスアワー (任意): (英)   (日) 北(D203, 656-7496, kita@is.tokushima-u.ac.jp)   [継承]
[継承]
科目コード (推奨):
備考 (任意): 1.(英)   (日) 開講学期:後   [継承]
2.(英)   (日) 2004年度は,木 5·6 開講   [継承]

標準的な表示

和文冊子 ● 総合科目 / 総合科目 --- 数理論理学 / 数理論理学
欧文冊子 ● 総合科目 / 総合科目 --- 数理論理学 / 数理論理学

関連情報

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

閲覧【教育プログラム】…(1)
Number of session users = 2, LA = 0.55, Max(EID) = 382764, Max(EOID) = 1022342.