На базі івано-франківського офісу Херсонського державного університету продовжуються тижні очного навчання. Завдяки співпраці та спільному використанню освітньої інфраструктури Прикарпатського національного університету імені Василя Стефаника Херсонській державний університет має можливість забезпечувати освітній процес у змішаному форматі, у тому числі очно, на всіх факультетах без виключення.
30 вересня здобувачі освіти зі спеціальностей 121 «Інженерія програмного забезпечення», 122 «Комп’ютерні науки», 126 «Інформаційні системи та технології» факультету комп’ютерних наук, фізики та математики ХДУ в межах тижнів очного навчання відвідали лекцію з дисципліни «Основи програмної інженерії» доцента кафедри комп’ютерних наук та програмної інженерії, PhD спеціальності 121 «Інженерія програмного забезпечення» Максима Полторацького.
В ході лекції було представлено підхід до верифікації коду смарт контрактів засобами системи інсерційного моделювання.
Студентам було представлено переваги даної системи, а також продемонстровано, як можна використати IMS для формальної верифікації.
Здобувачі освіти зі спеціальностей 014 «Середня освіта» (спеціалізації 014.04 «Математика», 014.09 «Інформатика»), 121 «Інженерія програмного забезпечення», 122 «Комп’ютерні науки», 126 «Інформаційні системи та технології» факультету комп’ютерних наук, фізики та математики мали чудову нагоду не тільки долучитись до занять з дисциплін своїх освітніх програм, але і відвідати цікаву лекцію «Неелементарні проблеми елементарної математики» професора кафедри алгебри, геометрії та математичного аналізу ХДУ Олександра Савченко.
На лекції також були присутні декан факультету математики та інформатики Прикарпатського національного університету імені Василя Стефаника, доктор фізико-математичних наук, професор Володимир Пилипів, завідувач кафедри алгебри та геометрії, доктор фізико-математичних наук, професор Олег Никифорчин, викладачі кафедри, студенти ПНУ.
Всі заходи відбувались із врахуванням заходів безпеки, здобувачі та викладачі проходили інструктажі, ознайомлювалися з місцями розташування укриттів на випадок повітряної тривоги.
За інформацією факультету комп’ютерних наук, фізики та математики ХДУ
Можливості: Версія для друку Відправити другу