Студентський математичний семінар

Запрошуємо усіх охочих доєднатися до шеститижневого мінікурсу з теорії напівгруп!

Локація: КШЕ, Оболонська набережна 19, аудиторія 1.5
Час: Щоп'ятниці із 11:30 до 14:50
Формат: 1 лекція та 1 практика
Старт: 16 жовтня
Викладачі: Яків Байдук (Лекції), Христина Бочарська (практики)

Теорія напівгруп — це малопопулярний розділ алгебри, в якому низький поріг входу і велика глибина. Вся теорія побудована з наявності лише однієї аксіоми!
До курсу запрошуються зацікавлені математикою усіх рівнів, включно з першокурсниками.

Детальний опис курсу можна знайти у файлику

Подальша комунікація про курс буде в цьому чаті

This Wednesday in KSE Mathematics Seminar:

“What mathematics are left for humans to understand? A case for diagrammatic calculus as a new approach to algebra, physics and computation”

Speaker:
Carlos Zapata-Carratala (University of Edinburgh and Wolfram Institute)
 
🗓When: September 30, 16:30–17:30
📍Where: KSE Campus Obolon, Oblonska Naberezhna 19, building 3, Room 3.1 or shelter under 3.1
 
 
Abstract:
We live in the computational era of mathematics: formalization systems (e.g. LEAN) are increasingly encoding known mathematical theories and automated theorem proving (e.g. via AI agents) seems to be already at the level of solving long-standing open problems. In the face of this reality, us mathematicians should be asking ourselves what our role will be in the coming years. In this talk, I will offer you my personal approach to this question and how that connects with my current research on diagrammatic calculus and hypergraph algebras. In particular, I will explain the connection between simple constructions in graphs (and hypergraphs) with well-known algebraic objects such as groups, rings, categories, etc., and I will discuss a recent discovery that axioms such as associativity, distributivity, etc. can be encoded (and classified) in terms of hypergraph diagrams. I will also mention the ramifications of these developments to other fields in physics and computer science.

Друзі, є цікава новина:

Іоргов Микола Зинонійович , заступник завідувача кафедри теоретичної та математичної фізики КАУ, з цього понеділка 14 вересня читатиме курс "Математичні доведення в Lean 4".

Lean 4 має розвинуту систему типів, яка дозволяє сформулювати математичні теореми та їх доведення як програми. Тому компілятор, коли перевіряє, що всі типи в програмі узгоджені, він фактично перевіряє коректність математичних доведень. Отже, якщо доведення, написане як програма в Lean 4, компілюється, значить доведення правильне.

В останній час, коли ШІ доводить математичні теореми, його змушують записати їх мовою Lean, щоб компілятор Lean зміг перевірити коректніть доведення.

До заняття можна буде підключитися по Zoom (щопонеділка о 14:30). Також планується запис лекцій.

🤖 Запрошую до спільноти дослідників автономних систем - за підтримки КАУ та Інституту математики НАН України

Автономні системи та робототехніка зараз особливо важливі для України. Тому ми створюємо відкриту академічну спільноту для людей, яким цікава математика автономних систем, робототехніка, машинне навчання, керування та суміжні теми. Будемо разом навчатися, обговорювати статті, робити спільні дослідження, публікуватися.

📌 Найближчим часом запустимо:
- відкритий семінар
- "Вступ до автономних систем" - більш фундаментальний курс, який читатиме Максим Шамрай
- "Інженерія автономних робототехнічних систем" - більш практичний курс, який читатиме Олег Самойленко

Долучитися можуть як студенти КАУ, так і вільні слухачі, яким ми плануємо видавати сертифікати з кредитами від КАУ, після успішного завершення курсів.

Мати досвід у робототехніці не обов’язково. Якщо вам цікава тематика, хочеться в ній розібратися, долучитися до спільних досліджень - приєднуйтеся.

➡️ Реєстрація: forms.gle/SZYUsTxbzq75GVPz9

Доброго дня всій шановній СМС-спільноті!

У цьому пості ми шукаємо студентів для дипломного проєкту у сфері privacy-enhancing cryptography та цифрових ідентичностей.

Можливі теми:
— цифрові ідентичності та їхня безпека;
— приватність користувачів у сучасних цифрових системах;
— аналіз існуючих систем та їхніх privacy-ризиків;
— дослідження того, як існуючі системи можна покращити за допомогою privacy-enhancing cryptography.

Хто шукає?
Проєкт виконуватиметься у співпраці з Chair of Applied Cryptography, TU Darmstadt — дослідницькою групою, що працює над сучасними задачами прикладної криптографії та регулярно публікується на престижних міжнародних конференціях і в журналах у цій сфері.

TU Darmstadt — один із провідних технічних університетів Німеччини, сильний у Computer Science та IT Security. За даними CSRankings, факультет інформатики TU Darmstadt посідає 2-ге місце в Німеччині та 8-ме в Європі.

Що ми пропонуємо?
— можливість виконати бакалаврську або магістерську роботу на актуальну дослідницьку тему;
— регулярну співпрацю та супервізію з боку дослідників TU Darmstadt;
— робота потенційно може стати основою для першої наукової публікації та подальшої роботи у сфері digital identity / privacy-enhancing technologies.

Чого очікуємо від кандидата?
— ґрунтовна математична/інформатична база;
— готовність читати наукові публікації та технічну документацію;
— попередній досвід з криптографією не обов'язковий, але буде плюсом.

Контакт: illia.bilyi@tu-darmstadt.de

Дедлайн подачі: 27.08.2026

У листі достатньо назвати себе, програму навчання та додати коротке CV. Після завершення прийому заявок планується один раунд коротких інтерв’ю з кандидатами.

Друзі, хочемо поділитися з вами дуже хорошим текстом на DOU авторства Eleonora Burdina про Юлію Здановську - українську математикиню, вчительку та волонтерку, яка загинула в Харкові у березні 2022 року.

Юлія була призеркою міжнародних математичних олімпіад, але ще важливіше те, як вона ставилася до математики, освіти та людей навколо себе. Вона хотіла викладати, змінювати українську освіту і робити математику ближчою до школярів.

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

https://dou.ua/lenta/articles/obituary-for-yuliia-zdanovska/

Студентський математичний семінар щиро вітає свого керівника Сергія Козеренка та постійного учасника Якова Байдука з прийняттям до публікації їхньої спільної статті під назвою "Transformation semigroup perspective on the magma monoid" у журналі Semigroup Forum:

https://link.springer.com/article/10.1007/s00233-026-10659-x

"Магма моноїд" - це алгебраїчна структура, елементами якої є всі можливі бінарні операції на фіксованій множині. У статті пропонується новий погляд на цю структуру, пов’язуючи бінарні операції з перетвореннями впорядкованих пар. Такий підхід дозволив описати основні типи елементів та ідеалів цього моноїда, отримати точні формули для їх кількості, відповісти на кілька відкритих питань і виправити опублікований раніше результат щодо центру магма моноїда.

Препринт цієї роботи на arXiv: https://arxiv.org/abs/2607.13746

Шановна СМС-громадо, цим постом ми підбиваємо підсумки чергового сезону Студматсемінару! 🥳

Цього сезону ми провели 12 засідань, тож давайте ще раз згадаємо всіх доповідачів і теми їхніх доповідей 🙂:

1. Сергій Слободянюк — "Чи існують неперервні функції трьох змінних?".
2. Нікіта Арський — "Нескінченновимірні векторні простори".
3. Єгор Окунєв — "Оцінювання емпіричної функції розподілу інтервально цензурованих даних за допомогою алгоритму Turnbull".
4. Еван Грогуль — "Задачі на побудову. Елементи теорії Галуа".
5. Ксенія Тітова — "Апроксимація поліномами Бернштейна та криві Безьє".
6. Яків Байдук — "Обернення теореми Келі та група розрепрезентацій напівгрупи".
7. Нікіта Арський — "Прямі границі алгебричних систем".
8. Єгор Іващенко — "Характеризація скінченних абелевих груп".
9. Олександр Любімов — "Пакування опуклих множин в евклідових просторах: нижні оцінки для щільності найщільніших ґраткових пакувань".
10. Олексій Пушкаш —"Лема Йонеди та структуралізм".
11. Дмитро Лупашко — "Вступ до спектральної теорії графів".
12. Олександр Любімов — "Ефективні ґраткові пакування опуклих тіл та теорія кодів".

Відеозаписи засідань можна переглянути на нашому YouTube-каналі:
https://www.youtube.com/@KSEStudentsMathematicalSeminar

У середньому на одному засіданні було 20,3 людини (офлайн+онлайн)! Це гарний показник, тож ми щиро дякуємо всім доповідачам і слухачам за цікаві виступи, активність та підтримку семінару. 🥰💪🏻

ТОП-3 доповіді за відвідуваністю:

1. Нікіта Арський про прямі границі алгебричних систем — 31 людина.
2. Сергій Слободянюк про функції кількох змінних — 29 людей.
3. Нікіта Арський про нескінченновимірні векторні простори — 29 людей.

Дякуємо всім, хто був із нами цього сезону! Гарного відпочинку та до зустрічі в наступному сезоні Студматсемінару! 🤓

Відеозапис СМС-12 (Олександр Любімов): https://www.youtube.com/watch?v=U5e6i2TNb0E

Онлайн-літня школа: Вступ до стохастичного числення та теорії похибок

Школа присвячена вивченню того, як похибки та невизначеності поширюються під час обчислень. Курс покаже, як ймовірнісні методи допомагають аналізувати похибки у складних математичних моделях та випадкових процесах. Кожна денна сесія завершується годиною практики: розв'язання задач та симуляції на Python.

🗓 Коли та розклад (за Київським часом): 17–21 серпня 2026 року.
09:00-10:30 та 10:45-12:00 — ранкові лекції
14:00-15:00 та 15:10-16:00 — денна лекція та практична сесія
💻 Формат: Онлайн (Zoom)
🇬🇧 Мова викладання: Англійська (запитання також можна ставити українською або французькою)
👥 Цільова аудиторія: Запрошуються студенти (бакалаври та магістри), аспіранти і дослідники з математики, прикладної математики, фізики та суміжних спеціальностей. Школа доступна для всіх, хто має базові знання з теорії ймовірностей, які викладаються на перших двох курсах бакалаврату.
👨‍🏫 Викладачі: Victor Rabiet та Olivier Rioul (Télécom Paris).
📝 Як зареєструватися? Надішліть електронний лист на адресу victor.rabiet@telecom-paris.fr з темою "Summer school registration". У листі вкажіть ваше ім'я, назву університету, рік навчання.
⏳ Дедлайн реєстрації: п'ятниця, 14 серпня 2026 року (посилання на Zoom та матеріали курсу будуть надіслані зареєстрованим учасникам електронною поштою).
📄 Програма школи та детальна інформація доступна за посиланням: https://perso.telecom-paristech.fr/rioul/summer-school2026.pdf

Фотозвіт СМС-12 (Олександр Любімов).