数理情報学基礎論概論2

更新日:2019-03-04

時間割コード

2501418

ナンバリングコード

GSI-11-6034-J

科目区分

主専攻科目

単位数

選択1単位

授業形態

特論

対象学年

修士1・2年

学期 曜日 時間 集中講義の有無

春2期月曜3限目

講義室

情報学研究科棟1階第2講義室

開講専攻

数理情報学専攻

担当教員 所属

吉信康夫,木原貴行

所属

数理情報学専攻

メールアドレス

yosinobu@is.nagoya-u.ac.jp


授業概要


◆講義目的

これから数理情報学を学ぶ上で必要となる数理科学に関連する基礎的な分野について解説する。
数理科学を専門として学んでこなかった者でも,必要最小限の数理科学の基礎知識を修得し,
今後の研究活動に有益な数理的手法を身に付けることを目指す。

◆授業内容

数理情報学基礎論概論2では,数学基礎論,計算可能性理論などを中心に学び,これらの分野と情報学がいかに関わっているかを理解する。

〔計画〕
(木原貴行/4回)・計算可能性理論(帰納的関数論)について解説する。
(吉信康夫/4回)・数学基礎論に関する話題を計4回提供する。


◆教科書・参考文献・履修条件等

必要に応じて参考資料を配布する。

◆授業期間中の課題・宿題等


成績評価方法・基準

主に期末試験で評価し,100点満点で60点以上を合格とする。

Course Title

Survey on Pure Mathematical Informatics 2

Class Timetable Code

2501418

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.

Course Purpose


Course Contents


Textbooks, Reference Materials and Requirements


Assignment


Grading Criteria