APS system

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

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

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

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


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


Лекция 1. Введение.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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


Общая теория взаимодействия и когнитивные архитектуры

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


Лекция 1. Обзор и введение.

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

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

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

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

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

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

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

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

Зачет

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


Лекция 1. Введение.

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

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

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

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

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

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

Лекция 8. IMS.

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

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

Лекция 11. VRS.

Лекция 12. BPSL.

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

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

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

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

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


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

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

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

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

Лекция 5. VRS.

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

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

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

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

030421 Live Demo 2

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


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

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

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

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

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

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

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

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

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

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

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

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

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

Лекция 14. VRS.

Лекция 15. BPSL.

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

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


Лекция 1. Инсерционное моделирование и когнитивные архитектуры.

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

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

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

Лекция 5. VRS.

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

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

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

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

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

Alexander Letichevsky's materials for BICA'2010 conference

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


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

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

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

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

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

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

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

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

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

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

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

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


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


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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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



Другие лекции

APS&IMS win

APS&IMS unix