文理学部シラバスTOP > 文理学部 > 情報科学科(情報システム解析学科) > 情報システム解析研究1
日本大学ロゴ

情報システム解析研究1

このページを印刷する

科目名 情報システム解析研究1
教員名 戸田 誠之助
単位数    4 学年    4 開講区分 文理学部
科目群 情報科学科
学期 前期 履修区分 必修
授業テーマ 3年次に学習した内容を発展させる。広い意味での計算理論(計算可能性の理論,計算意味論,計算量理論,アルゴリズム論)や記号論理学から専門文献を選んで学習する。
授業のねらい・到達目標 数学的な議論や日常的な言語現象に関して公理化や形式化の方法論を理解する。
授業の方法 専門文献を丁寧に読み解いていく。レジメを作成しながら,文献内容を詳しく解説したレポートを作成していく。
履修条件 学科内規による。
授業計画
1 学習内容の発表と講評(1)
2 学習内容の発表と講評(2)
3 学習内容の発表と講評(3)
4 学習内容の発表と講評(4)
5 学習内容の発表と講評(5)
6 学習内容の発表と講評(6)
7 学習内容の発表と講評(7)
8 学習内容の発表と講評(8)
9 学習内容の発表と講評(9)
10 学習内容の発表と講評(10)
11 学習内容の発表と講評(11)
12 学習内容の発表と講評(12)
13 学習内容の発表と講評(13)
14 学習内容の発表と講評(14)
15 学習内容の発表と講評(15)
その他
教科書 学習用資料を学期当初に指示します。
成績評価の方法及び基準 平常点(100%)
専門文献に対する理解の度合いや進捗状況に応じて総合的に評価します。
オフィスアワー 質問は,時間が空いている限りいつでも受け付けます。
備考 対面による質問のみ受け付けます。対面による質疑応答もこの科目の重要な学習事項の一つです。

このページのトップ