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 the course schedule
1. M.Sipser, Introduction to the Theory of Computation, PWS Publishing Company, 2012 (3rd Edition is available).
Probably Approximately Correct: Nature's Algorithms for Learning and Prospering in a Complex World, Basic Books, 2013.
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/)