 |
情報学研究科 シラバス | 事務 |
| 更新日：2019-03-04 |
ナンバリングコード
GSI-11-6034-J
科目区分
主専攻科目
単位数
選択1単位
授業形態
特論
対象学年
修士1・2年
学期 曜日 時間 集中講義の有無
春2期月曜3限目
講義室
情報学研究科棟1階第2講義室
開講専攻
数理情報学専攻
担当教員 所属
吉信康夫，木原貴行
所属
数理情報学専攻
メールアドレス
yosinobu@is.nagoya-u.ac.jp
授業概要
◆講義目的
これから数理情報学を学ぶ上で必要となる数理科学に関連する基礎的な分野について解説する。
数理科学を専門として学んでこなかった者でも，必要最小限の数理科学の基礎知識を修得し，
今後の研究活動に有益な数理的手法を身に付けることを目指す。
数理科学を専門として学んでこなかった者でも，必要最小限の数理科学の基礎知識を修得し，
今後の研究活動に有益な数理的手法を身に付けることを目指す。
◆授業内容
数理情報学基礎論概論２では，数学基礎論，計算可能性理論などを中心に学び，これらの分野と情報学がいかに関わっているかを理解する。
〔計画〕
（木原貴行／４回）・計算可能性理論（帰納的関数論）について解説する。
（吉信康夫／４回）・数学基礎論に関する話題を計４回提供する。
〔計画〕
（木原貴行／４回）・計算可能性理論（帰納的関数論）について解説する。
（吉信康夫／４回）・数学基礎論に関する話題を計４回提供する。
◆教科書・参考文献・履修条件等
必要に応じて参考資料を配布する。
◆授業期間中の課題・宿題等
成績評価方法・基準
主に期末試験で評価し，１００点満点で６０点以上を合格とする。
Course Title
Survey on Pure Mathematical Informatics 2
Numbering Code
GSI-11-6034-J
Course Category
Main majors
Credits
Elective1
Class Format
Advanced Lecture
Grade
Master1-2
Semester, Day and Period
Spring 2 semester Monday 3
Instructor(s)
YOSHINOBU Yasuo, KIHARA Takayuki
Affiliation
Mailaddress
yosinobu@is.nagoya-u.ac.jp
Course Topics
In this survey course, we study some topics from foundations of mathematics and theory of recursive functions in relation to our studies of informatics.