- Lecturer
- Endo Toshio Wakita Ken Watanabe Osamu
- Place
- Mon7-8(W832)
- Credits
- Lecture2 Exercise0 Experiment0
- Code
- 75053
- Syllabus updated
- 2014/11/17
- Lecture notes updated
- 2014/12/9
- Semester
- Fall Semester
Outline of lecture
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.
Purpose of lecture
see above
Plan of lecture
see the course schedule
Textbook and reference
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
Related and/or prerequisite courses
Introduction to Computer Science (for freshmen)
Evaluation
Grades will be based on the average score of homework assignments given at the end of each part.
Contact Information
Part II: Ken Wakita(http://kwakita.wordpress.com/classes-2014/fmcs/)
