APS system
Электронные материалы
Киевский Национальный Университет им. Т.Г.Шевченко.
Факультет Кибернетики.
Лекции проф. А.А. Летичевского
2017 осень: Проектирование вычислительных систем
Лекция 1. Обзор, полугрупповые транзиционные системы.
Лекция 4. Полугрупповые атрибутные среды.
Лекция 5. Примеры полугрупповых атрибутных сред.
Лекция 6. Символьное моделирование.
Лекция 7. Предикатный трансформер.
Лекция 8. Символьное моделирование полугрупповых сред.
Лекция 9. Стандартные языки моделирования.
Лекция 11. Темпоральная логика.
Лекция 12. Темпоральная логика ветвящегося времени.
2017 весна: Проектирование вычислительных систем
Лекция 1. Парадигмы программирования.
Лекция 2. Транзиционные системы.
Лекция 3. Эквивалентность и поведение транзиционных систем.
Лекция 5. Обогащенная алгебра поведений.
Лекция 7. Классификация функций погружения.
Лекция 8. Модели императивных программ.
Лекция 9. Обогащение императивной модели.
Лекция 10. Функциональное программирование.
Лекция 11. Алгебраическое программирование.
Лекция 12. Основы логического программирования.
Лекция 13. Верификация императивных программ.
Лекция 15. Обогащенная алгебра поведений.
Лекция 16. Декларативные парадигмы.
2013 осень: Инсерционное моделирование(общая теория взаимодействия)
Лекция 1. Введение.
Лекция 2. История инсерционного моделирования.
Лекция 3. Эквивалентность транзиционных систем.
Лекция 5. Поведение транзиционных систем.
Лекция 6. Распознавание эквивалентности.
Лекция 7. Обогащенная алгебра поведений.
Лекция 10. Символьное моделирование.
Лекция 11. Верификация программ.
Лекция 13. Инсерционные машины.
Лекция 14. Графические модели.
Лекция 15(1). Задачи и вопросы.
Лекция 15(2). Темпоральная логика.
2013 лето: лекция на конференции по нейроинформатике
Общая теория взаимодействия и когнитивные архитектуры
2013 весна 3 курс инсерционное моделирование 2
Лекция 1. Обзор и введение.
Лекция 2. Многоуровневые среды.
Лекция 6. Система инсерционного моделирования.
Лекция 7. Функциональное программирование.
Лекция 8. Алгебраическое программирование.
Лекция 9. Логическое программирование.
2012 осень 3 курс инсерционное моделирование 1
Лекция 1. Введение.
Лекция 2. Транзиционные системы.
Лекция 3. Бисимуляционная эквивалентность.
Лекция 4. Поведение транзиционных систем.
Лекция 5. Обогащенная алгебра поведений.
Лекция 7. Инсерционные машины.
Лекция 13. Проблема выполнимости.
Лекция 14. Предикатный трансформер(требования).
Лекция 15. Предикатный трансформер(реализация).
2012 весна 3 курс инсерционное моделирование 2
Лекция 1. Обзор.
Лекция 2. CCS, π-исчисление и мобильные амбиенты.
Лекция 6. Язык базовых протоколов.
Лекция 7. Семантика базовых протоколов(1).
Лекция 8. Семантика базовых протоколов(2).
Лекция 9. Конкретное и символьное моделирование.
2011 осень 3 курс инсерционное моделирование 1
Лекция 1. Транзиционные системы.
Лекция 4. Поведения транзиционных систем.
Лекция 5. Обогащенная алгебра поведений.
Лекция 7. Символьное моделирование.
Лекция 9. Инсерционная модель метода Флойда.
Лекция 10. Инсерционные машины.
Лекция 11. Графические модели.
Лекция 12. Примеры инсерционных машин.
Лекция 13. Когнитивные архитектуры.
2011 весна 3 курс инсерционное моделирование 2
Лекция 1. Инсерционное моделирование и когнитивные архитектуры.
Лекция 6. Язык базовых протоколов.
Лекция 7. Семантика базовых протоколов.
Лекция 8. Конкретное и символьное моделирование.
Лекция 9. Дедуктивные средства.
Лекция 10. Предикатный трансформер.
Alexander Letichevsky's materials for BICA'2010 conference
2010 осень 3 курс инсерционное моделирование 1
Лекция 1. Транзиционные системы.
Лекция 3. Обогащенная алгебра поведений.<.a>
Лекция 5. Императивное программирование.
Лекция 8. Инсерционные машины.
Лекция 9. Функциональное программирование.
Лекция 10. Алгебраическое программирование.
Лекция 11. Логическое программирование.
2010 весна 3 курс инсерционное моделирование 1
Лекция 1 Исчисление Хоара
Лекция 4 Бисимуляционная эквивалентность
Лекция 6 Стандартное расширение
Лекция 7 Стратегии переписывания
Лекция 8 Дальнейшее развитие метода Хоара
Лекция 9 Обогащенная алгебра поведений
Лекция 12 Примеры инсерционных машин
Лекция 13 Инсерционная машина для метода Флойда
Другие лекции
APS&IMS win
- Login to post comments