Открытая лекция «На пути превращения камня преткновения всех мужчин в магический кристалл вычислительных технологий»
Место проведения: Нижний Новгород, ул. Семашко, 7б (ИЦАЭ)
Вход свободный по регистрации
Профессор кафедры информационных систем и технологий (Нижний Новгород)
В некоторых кругах камнем всех мужчин преткновения считается алгебра. А такой абстрактный раздел математики как теория категорий вызывают часто интеллектуальное отторжение. Однако реалии современных информационных технологий сегодня таковы, что решение многих практических задач становится гораздо естественнее и эффективнее с применением категориальных конструкций . Возникает парадоксальное научно-техническое направление "вычислительная теория категорий".
В обзорной части лекции будут затронуты такие разделы теории категорий как базовые свойства объектов и морфизмов, типичные универсальные конструкции, функторы и естественные преобразования функторов, преобразования Кана, ключевые эпистемологические аспекты (суть, изоморфность, и тождественность обьектов, связь с топосами и различными типами логики, трансцендентным функтором в онтологии А. Бадью).
В прикладной части речь пойдет о лямбда-исчислении на графах, методах транспиляции и преобразования ПОЯ на основе представленных категориальных конструкций, Будут рассмотрены способы реализации реляционных би-направленных операций на основе преобразований Кана. Также будет кратко представлен способ интеграции разнородных имитационных моделей в деквртовых категориях.
