{CS-клуб} Открытие весеннего семестра. Курс Н.В. Шилова "О формальной семантике программ - просто"
Dmitri Kornev
С 9 по 11 марта 2012 года в Computer Science клубе в Екатеринбурге
состоится открытие весеннего семестра: Николай Вячеславович Шилов
прочтёт бесплатный курс лекций <<О формальной семантике программ -
просто>>. Заседания пройдут в конференц-зале здания УрФУ на Тургенева,
4. Вход в университет будет осуществляться по документам
государственного образца с фотографией, удостоверяющими личность
(паспорт, водительское удостоверение, студенческий), через вахту на
Ленина, 51.
Расписание лекций:
9 марта 17:50 - 21:00
Открытие семестра. Операционная, денотационная, аксиоматическая и
семантика второго порядка. Реализационная семантика и игрушечный язык
программирования ToyPL.
10 марта 18:00 - 21:00
Структурная операционная семантика и денотационная семантика. Элементы
лямбда- исчисления, классическая денотационная семантика.
11 марта 18:00 - 21:00
Семантика второго порядка, аксиоматическая семантика. Трансляция,
статический анализ, верификация с точки зрения семантики.
Проблемно-ориентированная семантика.
Подробнее о курсе: http://compsciclub.ru/course/formalprogramsemantics
Встреча ВКонтакте: http://vk.com/event36175527
Пожалуйста, расскажите о встрече заинтересованным друзьям и знакомым.
Листовка мероприятия в приложенном файле.
--
С уважением,
Дмитрий Корнев.
Dmitri Kornev
Выложены слайды первых двух лекций:
http://compsciclub.ru/course/formalprogramsemantics
2012/3/4 Dmitri Kornev <d.v.k...@gmail.com>:
Dmitri Kornev
Выложены слайды третьей и четвертой лекций:
http://compsciclub.ru/course/formalprogramsemantics
2012/3/9 Dmitri Kornev <d.v.k...@gmail.com>:
Dmitri Kornev
Выложены видео записи первых двух лекций:
http://video.yandex.ru/users/uralcsclub/collection/11/
2012/3/10 Dmitri Kornev <d.v.k...@gmail.com>:
Dmitri Kornev
Выложены все видео записи лекций:
http://video.yandex.ru/users/uralcsclub/collection/11/
Слайды с открытия: http://compsciclub.ru/node/1794
Слайды 5 и 6 лекций будут выложены в ближайшем времени.
2012/3/11 Dmitri Kornev <d.v.k...@gmail.com>:
Dmitri Kornev
На странице мини-курса выложены все слайды и видео-записи к ним:
http://video.yandex.ru/users/uralcsclub/collection/11/
2012/3/13 Dmitri Kornev <d.v.k...@gmail.com>: