Науковий семінар "Алгебра алгебраїчних структур даних: (не)програмістський погляд на типи", 4 квітня, Київ

Дата: 4 квітня (п’ятниця)Початок: 16:30Місце: Київ та онлайн Факультет комп’ютерних наук KSE запрошує вас на четвертий науковий семінар, присвячений фундаментальним питанням алгебраїчних структур даних.Цей захід буде цікавий як програмістам, так і дослідникам, які прагнуть глибше зрозуміти математичні основи типів даних. Тема семінару: «Алгебра алгебраїчних структур даних: (не)програмістський погляд на типи» Що таке нуль та одиниця в типах? Як можна помножити один тип на інший? Чому список і дерево — це просто рівняння, які можна розв’язати? Під час семінару ми розглянемо ці питання крізь призму алгебри та функціонального програмування, що дозволить поглянути на структури даних з нового, нетривіального боку. Спікер: Ігор Волков — викладач KSE та ХНУ імені В. Н. Каразіна, ентузіаст функціонального програмування. Де: KSE, аудиторія 3.05 + можливість приєднання онлайн zoom (деталі ви отримаєте в листі після реєстрації) Реєстрація за посиланням: forms.kse.ua/...L-ulgrmFLSZhYIVubPoJjgSHw Для отримання додаткової інформації звертайтеся до контактної особи: Сергій Козеренко, s.kozerenko@kse.org.ua Долучайтеся, щоб разом зануритися у цікаву наукову дискусію!

Апр 2, 2025 - 08:59

Науковий семінар "Алгебра алгебраїчних структур даних: (не)програмістський погляд на типи", 4 квітня, Київ

Дата: 4 квітня (п’ятниця)
Початок: 16:30
Місце: Київ та онлайн

Факультет комп’ютерних наук KSE запрошує вас на четвертий науковий семінар, присвячений фундаментальним питанням алгебраїчних структур даних.
Цей захід буде цікавий як програмістам, так і дослідникам, які прагнуть глибше зрозуміти математичні основи типів даних.

Тема семінару: «Алгебра алгебраїчних структур даних: (не)програмістський погляд на типи»

Що таке нуль та одиниця в типах? Як можна помножити один тип на інший? Чому список і дерево — це просто рівняння, які можна розв’язати? Під час семінару ми розглянемо ці питання крізь призму алгебри та функціонального програмування, що дозволить поглянути на структури даних з нового, нетривіального боку.

Спікер: Ігор Волков — викладач KSE та ХНУ імені В. Н. Каразіна, ентузіаст функціонального програмування.

Де: KSE, аудиторія 3.05 + можливість приєднання онлайн zoom (деталі ви отримаєте в листі після реєстрації)

Реєстрація за посиланням: forms.kse.ua/...L-ulgrmFLSZhYIVubPoJjgSHw

Для отримання додаткової інформації звертайтеся до контактної особи: Сергій Козеренко, s.kozerenko@kse.org.ua

Долучайтеся, щоб разом зануритися у цікаву наукову дискусію!