▶Japanese
Post to SNS
- Home
- > School of Computing
- > Undergraduate major in Computer Science
- > Fundamentals of Computing
- School of Science
-
School of Engineering
- Undergraduate major in Mechanical Engineering
- Undergraduate major in Systems and Control Engineering
- Undergraduate major in Electrical and Electronic Engineering
- Undergraduate major in Information and Communications Engineering
- Undergraduate major in Industrial Engineering and Economics
- Common courses
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
- School of Environment and Society
- 工学院，物質理工学院，環境・社会理工学院共通科目
- Liberal arts and basic science courses
- First-Year Courses
- School of Science
- School of Engineering
- School of Materials and Chemical Technology
- School of Computing
- School of Life Science and Technology
-
School of Environment and Society
- Department of Architecture and Building Engineering
- Department of Civil and Environmental Engineering
- Department of Transdisciplinary Science and Engineering
- Department of Social and Human Sciences
- Department of Innovation Science
- Graduate major in Technology and Innovation Management
- Common courses
- Liberal arts and basic science courses
- Academic unit or major
- Undergraduate major in Computer Science
- Instructor(s)
- Ogata Wakaha
- Class Format
- Lecture / Exercise
- Media-enhanced courses
- Day/Period(Room No.)
- Tue7-8(W935) Fri1-4(W935)
- Group
- Ｅ
- Course number
- CSC.T241
- Credits
- 3
- Academic year
- 2016
- Offered quarter
- 1Q
- Syllabus updated
- 2017/1/11
- Lecture notes updated
- 2016/4/5
- Language used
- Japanese
- Access Index
-
Lecture
Lecture 1 Turing Machine 1 : Introduction to Turing machine
2016.4.5(Tue.) 7-8Session
Lecture
Lecture 2 Turing Machine 2 : Binary coding
2016.4.12(Tue.) 7-8Session
Lecture
Lecture 3 Exercise, Turing Machine 3 : Programming technique
2016.4.15(Fri.) 1-4Session
Lecture
Lecture 4 Turing machine 4 : Universal Turing machine
2016.4.19(Tue.) 7-8Session
Lecture
Lecture 5 Turing machine 5 : Computability, Exercise
2016.4.22(Fri.) 1-4Session
Lecture
Lecture 6 Recursive function 1 : Introduction to recursive function
2016.4.26(Tue.) 7-8Session
Lecture
Lecture 7 Recursive function 2: Programming technique, Exercise
2016.4.29(Fri.) 1-4Session
Lecture
Lecture 8 Summary of the first half, Midterm examination
2016.5.6(Fri.) 1-4Session
Lecture
Lecture 9 Recursive function 3 : Data expression using Gödel number
2016.5.10(Tue.) 7-8Session
Lecture
Lecture 10 Recursive function 4 : Computability of recersive function, exercise
2016.5.13(Fri.) 1-4Session
Lecture
Lecture 11 Recursive function 5 : Equivalence between recersive function and computability
2016.5.17(Tue.) 7-8Session
Lecture
Lecture 12 Lambda calculus 1 : Introduction to lambda calculus, Exercise
2016.5.20(Fri.) 1-4Session
Lecture
Lecture 13 Lambda calculus 2 : Data expression using lambda term
2016.5.24(Tue.) 7-8Session
Lecture
Lecture 14 Lambda calculus 3 : Computability of lambda calculus, Exercise
2016.5.27(Fri.) 1-4Session
Lecture
Lecture 15 Summary of the latter half
2016.6.3(Fri.) 1-4Session
It is necessary for those who refer to the PDF file to use "Adobe Reader" as the plug-in software of Adobe System Company.
If you don't have the software, please download from this item (free).
