Здобувачі ХДУ відвідали івано-франківський офіс компанії DataArt

У межах тижня очного навчання на факультеті комп’ютерних наук, фізики та математики Херсонського державного університету відбулася серія заходів.

Під час яких викладачі та здобувачі освіти ХДУ разом із колегами з КНУ занурилися у світ фундаментальної науки, інтелектуальних систем та нестандартних математичних задач.

Цикл заходів розпочався з гостьової лекції професора кафедри алгебри та геометрії, завідувача кафедри диференціальних рівнянь і прикладної математики факультету математики та інформатики КНУ Романа Заторського з теми «Наука і теологія з точки зору математики».

Під час заходу лектор представив теологію як «науку всіх наук», використовуючи математичні метафори та аксіоматичний підхід для пояснення складних духовних концепцій.

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

Цикл заходів продовжив  доктор фізико-математичних наук, професор кафедри алгебри, геометрії та математичного аналізу ХДУ Олександр Савченко. Він провів відкриту лекцію для студентів ХДУ та КНУ з теми “Неелементарні проблеми елементарної математики”. У ході лекції було представлено огляд відкритих проблем, формулювання яких можливе виключно у термінах елементарної математики. Слухачі були ознайомлені з революційними проривами за останні п’ятдесят років, що стали можливими завдяки поєднанню потужного математичного апарату та сучасної комп’ютерної техніки.

Цікавим завершенням циклу заходів навчального дня тижня очного навчання стала лекція з інтелектуальних інформаційних систем “Використання формальних методів для аналізу семантичних мереж” помічника ректора зі стратегічних питань, доктора філософії , доцента кафедри комп’ютерних наук та програмної інженерії Максима Полторацького, яка відбулася в межах співпраці з IT-компанією DataArt.

Захід, проведений в офісі DataArt, був присвячений практичному застосуванню мови Alloy:

• Розглянуто підходи до формальної верифікації персоналізованих освітніх траєкторій  із використанням Alloy.
• Продемонстровано можливості Alloy для аналізу досяжності кар’єрних цілей у контексті індивідуальних планів навчання.

Фінальним акцентом четвертого дня стала зустріч із проректором з цифровізації, інноваційної, інвестиційної діяльності та науково-педагогічної роботи Олександром Лемещуком, який продемонстрував серверну лабораторію ХДУ — серце технологічної інфраструктури університету, що забезпечує безперебійну роботу цифрових сервісів закладу.

«Підбиваючи підсумки, учасники заходів зазначили, що тиждень очного навчання був надзвичайно плідним та результативним періодом, який дозволив поєднати глибоку академічну теорію з динамічним форматом живого спілкування», - зазначила деканеса факультету компʼютерних наук, фізики та математики Тетяна Гончаренко.

Деканеса подякувала представникам спільноти факультету, колегам та здобувачам Стефаниківського університету та компанії DataArt за цікавий та змістовний день.

Пресцентр