- 使用教室
- 月7-8(W832)
- 単位数
- 講義：2 演習：0 実験：0
- 講義コード
- 75053
- シラバス更新日
- 2015年11月16日
- 講義資料更新日
- 2016年1月25日
- アクセス指標
-
- 学期
- 後期
講義概要
This course is intended to provide basic knowledges in Computer Science that would be useful for students to pursue their own research subjects in Mathematical Sciences and Information Science and Engineering.
The course is divided into three parts, each of which discusses several basic concepts in Computer Science ranging from theory of computation to advanced computer architecture.
講義の目的
see above
講義計画
see the course schedule
教科書・参考書等
Part I:
1. M.Sipser, Introduction to the Theory of Computation, PWS Publishing Company, 2012 (3rd Edition is available).
2. L.Valiant,
Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World, Basic Books, 2013.
Part II:
1. Kamp, The most expensive one-byte mistake, ACM Queue, 9(7), 2011.
2. B. Pierce, Types and Programming Languages, The MIT press, 2002.
3. A. Chlipala, Certified Programming with Dependent Types, 2013.
4. Course web site for the second part(http://kwakita.wordpress.com/classes-2014/fmcs/)
Part III: TBA
関連科目・履修の条件等
Introduction to Computer Science (for freshmen)
成績評価
Grades will be based on the average score of homework assignments given at the end of each part.
連絡先（メール、電話番号）
Part II: Ken Wakita(https://github.com/wakita/fmcs2015/)
