Також ділимось посиланням на відеозапис СМС-1 (доповідь "Напівгрупа бінарних операцій"): https://www.youtube.com/watch?v=uwYSkxFnOmg

Вітаємо, СМС-родина!

Запрошуємо на 2-ге засідання Студматсемінару в новому сезоні. 🥰

Тема: "Кільце чисел Ейзенштейна. Велика теорема Ферма для n=3"

Велика теорема Ферма є символом теорії чисел. Понад три століття сотні математиків намагалися її довести. На цій доповіді ми розглянемо і доведемо окремий випадок — для n = 3.

Під час лекції:

🔹сформулюємо й доведемо основні властивості кілець, необхідні для подальших міркувань;
🔹представимо поняття кільця чисел Ейзенштейна та його ключові алгебраїчні властивості;
🔹покажемо, як у межах цього кільця можна довести, що рівняння x³ + y³ = z³ не має нетривіальних цілих розв’язків.

Спікер:
Еван Грогуль – студент 1-го курсу спеціальності "Прикладна математика" в KSE.

🗓Дата та час: 7 листопада, 16:30
📍Місце: KSE-Феофанія (вул. Євгенії Мірошниченко, 6/11), classroom 1 & Zoom
🔗Реєстрація: за посиланням

Доброго дня, нагадуємо про сьогоднішнє засідання наукового семінару факультету комп'ютерних наук KSE під назвою “Сучасні AI-платформи: від молекулярного моделювання до оборонного аналізу". Початок о 16:30 (можна відвідати офлайн у KSE-Феофанія та онлайн у zoom). Реєстрація за посиланням. До зустрічі!

Відеозапис 3-ого засідання НСФКН, доповідь “Сучасні AI-платформи: від молекулярного моделювання до оборонного аналізу": https://youtu.be/N_FgZZW79vE

Вітаємо, СМС-громадо!

Запрошуємо на третій відкритий семінар лабораторії теорії графів і мережевого аналізу KSE.

Тема: "Computer-assisted graph theory: searching for regular K3-irregular graphs".

Чи можуть комп‘ютери допомагати розв‘язувати відкриті задачі з чистої математики?

Під час доповіді ви дізнаєтесь, як еволюційні алгоритми можна застосувати до однієї з цікавих задач теорії графів — проблеми існування регулярних K3-іррегулярних графів.

Нам вдалося довести неіснування таких графів для малих регулярностей, побудувати явні приклади для більших значень за допомогою еволюційних алгоритмів та майже повністю розв’язати проблему, поставлену самим Полом Ердешом та співавторами ще у 1988 році.

Ця робота показує, як сучасні алгоритмічні та AI-методи можуть підтримувати людську інтуїцію в математиці — допомагаючи знаходити контрприклади та відкривати нові закономірності в структурі графів.

Спікер:
Артем Гак — дослідник лабораторії теорії графів і мережевого аналізу в KSE, аспірант і асистент у НаУКМА.

🗓Дата та час: Чт, 13 листопада о 18:00
📍Місце: KSE (вул. М. Шпака 3), ауд 4.07 & Zoom
🔗Реєстрація: за посиланням