Про подію:
Факультет комп'ютерних наук KSE запрошує вас на четвертий науковий семінар, присвячений фундаментальним питанням алгебраїчних структур даних.
Тема семінару: "Алгебра алгебраїчних структур даних: (не)програмістський погляд на типи"
Що таке нуль та одиниця в типах? Як можна помножити один тип на інший? Чому список і дерево – це просто рівняння, які можна розв’язати? Під час семінару ми розглянемо ці питання крізь призму алгебри та функціонального програмування, що дозволить поглянути на структури даних з нового, нетривіального боку.
Спікер:
Ігор Волков – викладач KSE та ХНУ імені В. Н. Каразіна, functional programming enthusiast.
Мова:
Українська