На факультеті комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка організовуються та проводяться наступні наукові конференції:
На факультеті комп'ютерних наук та кібернетики активно діють наступні наукові семінари:
- Системний аналіз та теорія оптимальних рішень.
Семінар діє при кафедрі системного аналізу та теорії прийняття рішень. В рамках семінару
обговорюються доповіді з фундаментальних та прикладних напрямів сучасної теорії прийняття рішень, кандидатські та докторські дисертації
зі спеціальностей 01.05.02 — «Математичне моделювання та обчислювальні методи» та 01.05.04 — «Системний аналіз
і теорія оптимальних рішень». Науковий керiвник семiнару — Наконечний О.Г., доктор фiзико-математичних наук, професор.
- Моделювання та оптимізація систем з неповними даними.
Семінар діє при кафедрі моделювання складних систем. В рамках семінару обговорюються кандидатські
та докторські дисертації зі спеціальностей 01.05.02 — «Математичне моделювання та обчислювальні методи» та 01.05.04 — «Системний аналіз
і теорія оптимальних рішень». Наукові керiвники семiнару — Гаращенко Ф.Г., доктор технічних наук, професор; Наконечний О.Г., доктор
фiзико-математичних наук, професор.
- Стохастика та її застосування.
Семінар діє при кафедрі дослідження операцій. В рамках семінару обговорюються
різні питання пов'язані з теорією ймовірностей та математичною статистикою. Науковий керівник семінару — Іксанов О.М., доктор фізико-математичних наук, професор.
- Обчислювальна та прикладна математика.
Семінар діє при кафедрі обчислювальної математики. В рамках семінару обговорюються кандидатські
та докторські дисертації зі спеціальностей 01.01.07 — «Обчислювальна математика», 01.05.01 — «Теоретичні основи інформатики та кібернетики» та
01.05.02 — «Математичне моделювання та обчислювальні методи». Науковий керiвник семiнару — Ляшко С.І., доктор фiзико-математичних наук, професор.
- Програмологія та її застосування.
Семнір діє при кафедрі теорії та технології програмування. В рамках семінару обговорюються кандидатські та докторські дисертації
зі спеціальностей 01.05.01 — «Теоретичні основи інформатики та кібернетики» та 01.05.03 — «Математичне і програмне забезпечення обчислювальних
машин та систем». Науковий керiвник семiнару — Нікітченко М.С., доктор фiзико-математичних наук, професор.
- Сучасні проблеми інформаційних технологій.
Семнір діє при кафедрі математичної інформатики. В рамках семінару обговорюються кандидатські та докторські дисертації
зі спеціальностей 01.05.01 — «Теоретичні основи інформатики та кібернетики» та 01.05.03 — «Математичне і програмне забезпечення обчислювальних
машин та систем». Науковий керiвник семiнару — Анісімов А.В., доктор фiзико-математичних наук, професор.
- Інтелектуальні інформаційні системи.
Семінар діє при кафедрі інформаційних систем. В рамках семінару обговорюються
різні питання пов'язані з дискретною математикою, штучним інтелектом, алгоритмікою та програмуванням, некласичними логіками, абстрактними моделями обчислень,
теорією мереж Петрі, біоінформатикою. Також в рамках семінару обговорюються кандидатські та докторські дисертації зі спеціальностей 01.05.01 — «Теоретичні
основи інформатики та кібернетики» та 01.05.03 — «Математичне і програмне забезпечення обчислювальних машин та систем». Hауковий керiвник семiнару
— Провотар О.І., доктор фiзико-математичних наук, професор.
На факультеті комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка діє Спеціалізована вчена рада Д 26.001.09 з правом прийняття до розгляду та проведення захистів дисертацій на здобуття наукового ступеня доктора наук за спеціальностями:
- 01.05.04 — Системний аналіз і теорія оптимальних рішень (фізико-математичні науки);
- 01.05.01 — Теоретичні основи інформатики та кібернетики (фізико-математичні науки).
Спецрада діє на факультеті комп'ютерних наук та кібернетики Київського національного університету імені Тараса Шевченка згідно наказу Міністерства освіти і науки України № 220 від 21.02.2024 р. строком на три роки.
Початок повноважень: 2024-02-21
Завершення повноважень: 2027-02-21
01.05.03 — математичне та програмне забезпечення обчислювальних машин і систем (фізико-математичні науки);01.05.03 — математичне та програмне забезпечення обчислювальних машин і систем (технічні науки);
створена на факультеті кібернетики Київського національного університету імені Тараса Шевченка наказом Міністерства освіти і науки України № 594 від 17.05.2012 року строком на три роки.
Спеціалізована вчена рада Д 26.001.35 з правом прийняття до розгляду та проведення захистів дисертацій на здобуття наукового ступеня доктора (кандидата) наук за спеціальностями:
01.05.02 — математичне моделювання та обчислювальні методи (фізико-математичні науки);
01.05.02 — математичне моделювання та обчислювальні методи (технічні науки);
01.05.04 — системний аналіз і теорія оптимальних рішень (фізико-математичні науки);
01.05.04 — системний аналіз і теорія оптимальних рішень (технічні науки);
створена на факультеті кібернетики Київського національного університету імені Тараса Шевченка наказом Міністерства освіти і науки України № 1609 від 21.11.2013 року строком на три роки.
Наукові студентські гуртки
Приєднуйтесь до наших дослідницьких груп та розвивайтеся разом із професіоналами.
1. Застосування функціонального аналізу та теорії операторів
Програма роботи (2025-2026 н.р.):
- Метрична проєкція, задача CFP та застосування.
- Теореми про нерухомі точки та їх застосування.
- Апроксимація нерухомих точок.
- Опуклий аналіз та оптимізація.
- Теорія міри та оптимальний транспорт.
- Теорія найкращого наближення.
- Метод Ньютона-Канторовича та його застосування.
- Оператори в гільбертових просторах. Спектральні теореми. Ергодичні теореми.
- Математика квантових обчислень.
- Простори Соболєва та слабкі постановки задач математичної фізики.
2. Математика, що працює: лінійна алгебра та геометрія для Data Science і штучного інтелекту
Кожне заняття включає теорію та практику на Python (Jupyter Notebook).
План на 2 семестр:
- Геометрія даних: Векторні простори та метрики. Візуалізація високовимірних даних.
- Матричні перетворення як операції над даними: Лінійні оператори в обробці зображень та сигналів.
- Оптимізація та МНК: Метод найменших квадратів: від геометрії проекцій до лінійної регресії в Python.
- Спектральний аналіз: Власні значення та вектори. Алгоритм PageRank та динаміка систем.
- Singular Value Decomposition (SVD): Математичне підґрунтя стиснення даних та рекомендаційних систем.
- Зниження розмірності (PCA): Метод головних компонент: геометрична інтуїція та реалізація «з нуля».
- Математика нейромереж: Роль матричного числення у зворотному поширенні помилки (Backpropagation).
- Захист мініпроєктів: Презентація результатів досліджень та програмних розробок студентів.
3. Алгоритми на графах
Програма роботи (2025-2026 н.р.):
- Моделі обчислень. Машина Т'юрінга. Елементи складності алгоритмів.
- Поняття ефективності алгоритму. Класи P- та NP-проблем. NP-повні проблеми.
- Алгоритми пошуку шляхів у графі. Пошук-ВШИР та пошук-ВГЛИБ.
- Модифікації алгоритмів пошуку шляхів. Порівняльний аналіз цих алгоритмів.
- Зважені графи. Пошук найкоротших шляхів.
- Алгоритм визначення всіх шляхів у графі. Алгоритм Дейкстри.
- Перевірка зв'язності графа. Пошук зв'язних компонентів графа.
- Ізоморфізм дерев. Ізоморфізм довільних графів.
- Цикли в графі. Ейлерів цикл. Гамільтонів цикл.
- Кістякові дерева. Алгоритми побудови кістякових дерев і лісів.
- Потоки в мережах.
- Моделювання ігор і розкладів робіт за допомогою графів.
🗓 Щосуботи о 17:00
Zoom-зустрічі
💰 Безкоштовно
Для всіх школярів
🏆 Олімпіадна підготовка
Від кращих викладачів
Ми йдемо далі шкільної програми: розбираємося, як працюють алгоритми «під капотом», та зазираємо у світ Штучного Інтелекту, Блокчейну та Квантових обчислень.
Програма курсу (2025-2026 н.р.)
| Дата |
Тема заняття |
Тип |
| 06.12.2025 | Часова складність алгоритмів | Основи |
| 13.12.2025 | Рекурсія | Алгоритми |
| 20.12.2025 | Сортування (Частина 1) | Алгоритми |
| 27.12.2025 | Бінарний пошук | Алгоритми |
| 03.01.2026 | Як працює штучний інтелект? 🤖 | AI Tech |
| 10.01.2026 | Сортування (Частина 2) | Алгоритми |
| 17.01.2026 | Жадібні алгоритми | Олімпіадна база |
| 24.01.2026 | Вступ до динамічного програмування | Pro-рівень |
| 31.01.2026 | Динамічне програмування. Частина 2 | Pro-рівень |
| 07.02.2026 | Що може квантовий комп'ютер? ⚛️ | Future Tech |
| 14.02.2026 | Вступ до теорії графів | Математика |
| 21.02.2026 | Алгоритми на графах | Практика |
| 28.02.2026 | Префіксні суми | |
| 07.03.2026 | Інформаційна ентропія, коди Хафмана | |
| 14.03.2026 | Як працює блокчейн? ⛓️ | FinTech |
| 21.03.2026 | Розріджені таблиці (Sparse Tables) | Структури даних |
| 28.03.2026 | Вікна, що ковзають | |
| 11.04.2026 | Sqrt-декомпозиція | Pro-рівень |
| 18.04.2026 | Перестановки | |
| 25.04.2026 |
🏆 Чемпіонат з програмування для школярів |
Фінал |
Науковий семінар факультету комп'ютерних наук та кібернетики було започатковано у березні 2025 року.
Робота семінару
1. [25 березня 2025 р.] Проф. Сергій Лук'янович Кривий, д.ф.-м.н., доповів на тему «Алгоритми розв’язання лінійних обмежень у кільцях». Тези доповіді
2. [8 квітня 2025 р.] Проф. Сергій Лук'янович Кривий, д.ф.-м.н., доповів на тему «Алгоритми розв’язання лінійних обмежень у кільцях лишків та їх застосування». Тези доповіді
3. [22 квітня 2025 р.] Проф. Володимир Вікторович Семенов, д.ф.-м.н., доповів на тему «Алгоритми для варіаційних нерівностей та задач рівноважного програмування. Частина 1». Тези доповіді
4. [13 травня 2025 р.] Євген В’ячеславович Іванов, к.ф.-м.н., доповів на тему «Узагальнена теорія абстрактних переписувальних систем» (за матеріалами дисертації на здобуття наукового ступеня доктора фіз.-мат. наук за спеціальністю 01.05.01 «Теоретичні основи інформатики та кібернетики»). Тези доповіді
5. [3 червня 2025 р.] Проф. Володимир Вікторович Семенов, д.ф.-м.н., доповів на тему «Алгоритми для варіаційних нерівностей та задач рівноважного програмування. Частина 2». Тези доповіді
6. [17 червня 2025 р.] Доц. Ігор Олександрович Завадський, д.ф.-м.н., доповість на тему «Теорія та практика адаптивного стиснення даних». Тези доповіді