Fundamentals of Mathematical and Computing Sciences:Computer Science

Font Size  SML

Lecturer
Endo Toshio  Wakita Ken  Watanabe Osamu 
Place
Mon7-8(W832)  
Credits
Lecture2  Exercise0  Experiment0
Code
75053
Syllabus updated
2015/11/16
Lecture notes updated
2016/1/25
Access Index
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(https://github.com/wakita/fmcs2015/)

Page Top