Дата проведения занятий

Тема лекции

Время проведения занятий

Место проведения занятий

Кол-во

часов

5 декабря, понедельник

Лекция 1: Simply typed lambda-calculus: Syntax and operational semantics

Лекция:

10:20 – 12:10

Консультации:

14:10 – 17:55

Мехмат КазНУ,

Ауд 406

Мехмат КазНУ,

Ауд408

2

4

6 декабря, вторник

Лекция 2: Simply typed lambda-calculus: Semantics

Лекция:

10:20 – 12:10

Консультации:

14:10 – 17:55

Мехмат КазНУ,

Ауд 406

Мехмат КазНУ,

Ауд408

2

4

7 декабря, среда

Лекция 3: PCF (Programming language for Computable Functionals): Syntax and operational semantics

Лекция:

10:20 – 12:10

Консультации:

14:10 – 17:55

Мехмат КазНУ,

Ауд 406

Мехмат КазНУ,

Ауд408

2

4

8 декабря, четверг

Лекция 4: Semantic Domains I

Лекция:

10:20 – 12:10

Консультации:

14:10 – 17:55

Мехмат КазНУ,

Ауд 406

Мехмат КазНУ,

Ауд408

2

4

9 декабря, пятница

Лекция 5: SemanticDomainsII

Лекция:

10:20 – 12:10

Консультации:

14:10 – 17:55

Мехмат КазНУ,

Ауд 406

Мехмат КазНУ,

Ауд408

2

4

10 декабря, суббота

Лекция 6: Semantics for PCF: correctness

Лекция:

10:20 – 12:10

Консультации:

14:10 – 17:55

Мехмат КазНУ,

Ауд 406

Мехмат КазНУ,

Ауд408

2

4

12 декабря, понедельник

Лекция 7: Semantics for PCF: adequateness

Лекция:

10:20 – 12:10

Консультации:

14:10 – 17:55

Мехмат КазНУ,

Ауд 406

Мехмат КазНУ,

Ауд408

2

4

13 декабря, вторник

Лекция 8: Outline of further developments

Лекция:

10:20 – 12:10

Консультации:

14:10 – 17:55

Мехмат КазНУ,

Ауд 406

Мехмат КазНУ,

Ауд408

2

4

Итого: 48 часов