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 2021
Class code Q6305
Previous Class code
Previous Class title
Term 春学期授業/Spring
Day/Period 木2/Thu.2
Class Type
Campus 市ヶ谷
Classroom name
Grade
Credit(s) 2
Notes 法文営国環キ2~4年※定員制
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
SDGs CP
Urban Design CP
Diversity CP
Learning for the Future CP
Carbon Neutral CP
Chiyoda Campus Consortium
Optional/Compulsory
Category (2018~) 2017年度以降入学者
ILAC科目
300番台 総合科目
総合科目
Category (2017)

Show all

Hide All

Outline (in English)

We can find a number of mathematical paradigms which provide the foundation for 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.

Default language used in class

日本語 / Japanese