Доброго дня, шановні друзі СМС!

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

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

Спікер: Ігор Волков – викладач KSE та ХНУ імені В. Н. Каразіна.

Коли: Пт, 4.04 о 16:30-18:00.

Де: KSE (вул. М. Шпака 3), ауд 3.05.

Можливість приєднання онлайн у zoom
Meeting ID: 892 1624 7738
Passcode: 678197

Реєстрація за посиланням.

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

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