Электронные материалы

Киевский Национальный Университет им. Т.Г.Шевченко.

Факультет Кибернетики.

Лекции проф. А.А. Летичевского

2017 осень: Проектирование вычислительных систем

Лекция 2-3. Полугруппы трасс.

Лекция 4. Полугрупповые атрибутные среды.

Лекция 5. Примеры полугрупповых атрибутных сред.

Лекция 6. Символьное моделирование.

Лекция 7. Предикатный трансформер.

Лекция 8. Символьное моделирование полугрупповых сред.

Лекция 9. Стандартные языки моделирования.

Лекция 10. Семантика MSC.

Лекция 11. Темпоральная логика.

Лекция 12. Темпоральная логика ветвящегося времени.

Лекция 13. Обзор.

2017 весна: Проектирование вычислительных систем

Лекция 2. Транзиционные системы.

Лекция 3. Эквивалентность и поведение транзиционных систем.

Лекция 4. Задачи.

Лекция 5. Обогащенная алгебра поведений.

Лекция 6. Функция погружения.

Лекция 7. Классификация функций погружения.

Лекция 8. Модели императивных программ.

Лекция 9. Обогащение императивной модели.

Лекция 10. Функциональное программирование.

Лекция 11. Алгебраическое программирование.

Лекция 12. Основы логического программирования.

Лекция 13. Верификация императивных программ.

Лекция 14. Обзор.

Лекция 15. Обогащенная алгебра поведений.

Лекция 16. Декларативные парадигмы.

2013 осень: Инсерционное моделирование(общая теория взаимодействия)

Лекция 2. История инсерционного моделирования.

Лекция 3. Эквивалентность транзиционных систем.

Лекция 4. Алгебра поведений.

Лекция 5. Поведение транзиционных систем.

Лекция 6. Распознавание эквивалентности.

Лекция 7. Обогащенная алгебра поведений.

Лекция 8. Агенты и среды.

Лекция 9. Атрибутные среды.

Лекция 10. Символьное моделирование.

Лекция 11. Верификация программ.

Лекция 12. Метод Флойда.

Лекция 13. Инсерционные машины.

Лекция 14. Графические модели.

Лекция 15(1). Задачи и вопросы.

Лекция 15(2). Темпоральная логика.

2013 лето: лекция на конференции по нейроинформатике

2013 весна 3 курс инсерционное моделирование 2

Лекция 2. Многоуровневые среды.

Лекция 3. Атрибутные среды.

Лекция 4. Нейронные сети.

Лекция 5. Абстракции.

Лекция 6. Система инсерционного моделирования.

Лекция 7. Функциональное программирование.

Лекция 8. Алгебраическое программирование.

Лекция 9. Логическое программирование.

Зачет

2012 осень 3 курс инсерционное моделирование 1

Лекция 2. Транзиционные системы.

Лекция 3. Бисимуляционная эквивалентность.

Лекция 4. Поведение транзиционных систем.

Лекция 5. Обогащенная алгебра поведений.

Лекция 6. Агенты и среды.

Лекция 7. Инсерционные машины.

Лекция 8. IMS.

Лекция 9. Графические модели.

Лекция 10. MSC машина.

Лекция 11. VRS.

Лекция 12. BPSL.

Лекция 13. Проблема выполнимости.

Лекция 14. Предикатный трансформер(требования).

Лекция 15. Предикатный трансформер(реализация).

Лекция 16. Обзорная лекция.

2012 весна 3 курс инсерционное моделирование 2

Лекция 2. CCS, π-исчисление и мобильные амбиенты.

Лекция 3. Сети Петри.

Лекция 4. Графические модели.

Лекция 5. VRS.

Лекция 6. Язык базовых протоколов.

Лекция 7. Семантика базовых протоколов(1).

Лекция 8. Семантика базовых протоколов(2).

Лекция 9. Конкретное и символьное моделирование.

030421 Live Demo 2

2011 осень 3 курс инсерционное моделирование 1

Лекция 2. Задачи.

Лекция 3. Алгебра поведений.

Лекция 4. Поведения транзиционных систем.

Лекция 5. Обогащенная алгебра поведений.

Лекция 6. Агенты и среды.

Лекция 7. Символьное моделирование.

Лекция 8. Метод Флойда.

Лекция 9. Инсерционная модель метода Флойда.

Лекция 10. Инсерционные машины.

Лекция 11. Графические модели.

Лекция 12. Примеры инсерционных машин.

Лекция 13. Когнитивные архитектуры.

Лекция 14. VRS.

Лекция 15. BPSL.

Лекция 15. Задачи.

2011 весна 3 курс инсерционное моделирование 2

Лекция 2. CCS и π-исчисление.

Лекция 3. Мобильные амбиенты.

Лекция 4. Графические модели.

Лекция 5. VRS.

Лекция 6. Язык базовых протоколов.

Лекция 7. Семантика базовых протоколов.

Лекция 8. Конкретное и символьное моделирование.

Лекция 9. Дедуктивные средства.

Лекция 10. Предикатный трансформер.

Alexander Letichevsky's materials for BICA'2010 conference

2010 осень 3 курс инсерционное моделирование 1

Лекция 2. Алгебра поведений.

Лекция 3. Обогащенная алгебра поведений.<.a>

Лекция 4. Агенты и среды.

Лекция 5. Императивное программирование.

Лекция 6. Исчисление Хоара.

Лекция 7. Метод Флойда.

Лекция 8. Инсерционные машины.

Лекция 9. Функциональное программирование.

Лекция 10. Алгебраическое программирование.

Лекция 11. Логическое программирование.

Комментарий к публикациям

2010 весна 3 курс инсерционное моделирование 1

Лекция 2 Метод Флойда

Лекция 3 Система верификации

Лекция 4 Бисимуляционная эквивалентность

Лекция 5 Введение в APS

Лекция 6 Стандартное расширение

Лекция 7 Стратегии переписывания

Лекция 8 Дальнейшее развитие метода Хоара

Лекция 9 Обогащенная алгебра поведений

Лекция 10 Агенты и среды

Лекция 11 Инсерционная машина

Лекция 12 Примеры инсерционных машин

Лекция 13 Инсерционная машина для метода Флойда

Лекция 14 Винник

Лекция 15 Винник

Лекция 16 Задачи

APS&IMS unix