mid-term exam | final-exam | Total. | |
---|---|---|---|
1. | 10% | 10% | 20% |
2. | 20% | 20% | 40% |
3. | 20% | 20% | 40% |
Total. | 50% | 50% | - |
Class schedule | HW assignments (Including preparation and review of the class.) | Amount of Time Required | |
---|---|---|---|
1. | Inductive definition of sets | Reference book [1] | 180minutes |
2. | Inductive proof - well-founded induction |
Reference book [1] | 190minutes |
3. | Inductive proof - structural induction |
Reference book [1] | 190minutes |
4. | Inductive proof - induction for derivation tree |
Reference book [1] | 190minutes |
5. | Operational semantics - a simple language (boolean expressions) |
Reference book [2] | 190minutes |
6. | An example of proof of properties about boolean expressions | Reference book [2] | 190minutes |
7. | Mid-term examination and its explanation - written examination about the contents from the 1st to 7th lectures. (We resume the lecture after the mid-term examination.) |
Review everything until the last time. | 190minutes |
8. | Operational semantics - a type system for a simply-typed lambda calculus |
Reference book [2] | 190minutes |
9. | Type system - a type system for a simply-typed lambda calculus |
Reference book [2] | 190minutes |
10. | Operational semantics - operational semantics for functional languages having various constructs |
Reference book [2] | 190minutes |
11. | Type system - type systems for functional languages having various constructs |
Reference book [2] | 190minutes |
12. | Operational semantics - an operational semantics of a simple object-oriented language "Featherweight Java" |
Reference book [2] | 190minutes |
13. | Type system - a type system of Featherweight Java |
Reference book [2] | 190minutes |
14. | Final examination and its explanation - written examination about the contents from the 1st to 14th lectures. |
Review everything until the last time. | 190minutes |
15. | |||
Total. | - | - | 2650minutes |
ways of feedback | specific contents about "Other" |
---|---|
Feedback in the class |
Work experience | Work experience and relevance to the course content if applicable |
---|---|
N/A | N/A |