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

Слайди 16-ого засідання СМС.

Відео 16-ого засідання СМС, 23.04.24.

Починаємо засідання

Доброго дня, любі друзі.

Минулого разу ми вимушені були (вперше) перервати засідання СМС через тривогу. 🙁 Тож цього разу запрошуємо вас на продовження попередньої доповіді у форматі онлайн-засідання за номером 16 😱.

Тема: "Навколо Теореми Геделя про неповноту".

Доповідач: Артем Гак (@ArtemGak), студент МП КН-2 у КМА.

Час: Вт, 23.04 о 17:00.

Зум: https://zoom.us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09
519 767 3308
213122

На вас чекає захоплива доповідь про логіку та формалізацію математики, на якій ми обговоримо такі питання:

Що є математичним доведенням? Що взагалі можна довести?
Що означає несуперечливість системи аксіом? Як порівняти за силою різні аксіоматики?
Де знайти логіку 1,2,3,...,n-ого порядку ?
Чому MK > NBG = ZFC > PA і що взагалі сховано за цими абревіатурами?
Наскільки важливою є повнота теорії та чому Континуум гіпотеза не залежить від аксіом ZFC ?

Отже, від ICMU вашій увазі пропонуються такі три міні-курси:

1. "Основи криптографії: мінікрипт, криптоманія та інше".
Викладач: Анна Лисянська (Університет Брауна).
Посилання: https://mathcentre.in.ua/events/foundations-of-cryptography-mini-course

2. "Вступ до кластерних алгебр".
Викладач: Христина Сергієнко (Університет Кентуккі).
Посилання: https://mathcentre.in.ua/events/cluster-algebras-mini-course

3. "Невизначеність та єдиність Фур'є".
Викладач: Михайло Содін (Університет Тель-Авіва).
Посилання: https://mathcentre.in.ua/events/fourier-uncertainty-and-uniqueness-mini-course

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

Кожен міні-курс буде проведено в наступному форматі: три лекції - Пн, Ср, Пт; дві практики - Вт, Чт; домашнє завдання.

Із додатковими питаннями можна звертатися на пошту: mini-courses@mathcentre.in.ua.

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

Повідомляємо, що Міжнародний центр математики в Україні (ICMU) оголошує набір слухачів на серію міні-курсів для студентів і аспірантів на кінець червня (24-28.06.24).

Міні-курси будуть читатися англійською мовою, але питання можна буде задавати англійською чи українською.

Детальніша інформація про самі міні-курси в наступному пості. 👇

Шановна СМС-спільното!

Хочемо повідомити вам про можливість подання тез на XII Всеукраїнську наукову конференцію молодих математиків. 🤓

Реєстрація та подача тез: до 01.05.2024. ☝️

Робота конференції: 09-11.05.2024.

Цьогоріч конференція буде проводитися онлайн. Робочими мовами конференції є українська та англійська. Усі доповіді будуть розділені на п'ять секцій:

Секція 1. Математичного аналізу, теорії ймовірностей, диференціальних рівнянь.
Секція 2. Метричної теорії чисел, геометрії, фрактального аналізу.
Секція 3. Алгебри, дискретної математики.
Секція 4. Теорії алгоритмів, інформатики.
Секція 5. Історії математики та методики навчання математики.

Зразок ТеХ-файлу тез, реєстраційну форму та пошту для надсилання тез (а також усю іншу релевантну інформацію) див. на офіційному сайті конференції):
https://mathconf.ukma.edu.ua/index.html

Тож якщо ви молодий математик зі своїми оригінальними науковими здобутками, якими бажаєте поділитися зі спільнотою, то розгляньте можливість виступити на цій конференції. 😇

Фотозвіт 15-го засідання Студматсемінару.

Відео скороченого (через тривогу 🙁) 15-ого засідання, 16.04.24.

Запрошуємо на новий курс "Supervised Machine Learning", який розширить знання основних методів машинного навчання з ручним конструюванням ознак, а саме таких методів, як: наївний байєсів класифікатор, машини опорних векторів, випадковий ліс та ін.

Рівень: середній
Мова: англійська
Формат: онлайн
Тривалість курсу: 30 годин (1 ECTS)
Старт: з 19.04.2024 (самостійне проходження)
Цільова аудиторія: студенти та аспіранти спеціальностей комп’ютерні науки, прикладна фізика, матеріалознавство.
Викладачі:
к.ф.-м.н., Віталій Тимчишин, молодший науковий співробітник Київського академічного університету (КАУ), молодший науковий співробітник Інституту теоретичної фізики ім. М.М. Боголюбова;
к.ф.-м.н. Володимир Безгуба, старший науковий співробітник КАУ, завідуючий Лабораторії дослідження даних та машинного навчання КАУ.

Подробиці та реєстрація.

Шановне товариство, в 2024 році СМС проходить надзвичайно потужно, чому є свідченням такий факт: ми запрошуємо вас уже на 15-те засідання сезону!

Тема: "Складність Колмогорова та неповнота Геделя"
Доповідач: Артем Гак (@ArtemGak), МП КН-2 у КМА

Час: Вт, 16.04 о 17:30.
Місце: ауд 219 Інституту математики.
Зум: https://zoom.us/j/5197673308?pwd=eGRtaVIzbHlNT3RoRjc5U2FsVENGUT09
519 767 3308
213122

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

Якщо у нас є два рядки символів "0101010101" та "0111010011", то інтуїтивно зрозуміло, що перший рядок "простіший": він періодичний і його можна стиснути. Чисельно можна визначити так: K(x) = довжина найменшої програми, що виводить рядок x.

У доповіді ми розглянемо поняття складності Колмогорова та скористаємось ним, щоб довести два важливі результати математики 20 ст.: проблему зупинки Черча-Тьюрінга та неповноту Геделя.