ILAC Course

Back to List

MAT300LA(数学 / Mathematics 300)
Introduction to Computation and Formal Languages

Toshihiko KURATA

Class code etc
Faculty/Graduate school ILAC Course
Attached documents
Year 2022
Class code Q6305
Previous Class code
Previous Class title
Term 春学期授業/Spring
Day/Period 月2/Mon.2
Class Type
Campus 市ヶ谷
Classroom name 各学部・研究科等の時間割等で確認
Grade 法文営国環キ2~4年
Credit(s) 2
Notes ※定員制(30名)
Open Program
Open Program (Notes)
Global Open Program
Interdepartmental class taking system for Academic Achievers
Interdepartmental class taking system for Academic Achievers (Notes)
Class taught by instructors with practical experience
Urban Design CP
Diversity CP
Learning for the Future CP
Carbon Neutral CP
Chiyoda Campus Consortium
Category (2018~) 2017年度以降入学者
300番台 総合科目
Category (2017)

Show all

Hide All

Outline (in English)

We can find a number of mathematical paradigms which provide the foundation of computer architecture. Among them, the framework of finite automata is explained in this course as a model of the special-purpose computers, and the framework of universal Turing machines as a model of the general-purpose computers. Based on the strength of these computational frameworks, we also understand a hierarchy structure of the class of formal languages.
To understand these results more precisely, we are supposed to spend four hours to review the content of each class meeting.
Overall grade is determined by exercises (40%), computer experiments (50%) and class contribution (10%).

Default language used in class

日本語 / Japanese