Запрошуємо до участі в новому цікавому конкурсі GlushkovCYBER
Цьогорічне змагання присвячене 100-річчю з дня народження академіка Віктора Глушкова, а дібрані задачі відповідають науковим інтересам ученого
Цьогорічний конкурс присвячений 100-річчю з дня народження піонера української кібернетики Віктора Глушкова. Тому й дібрані задачі відповідають науковим інтересам нашого славного академіка. Перша пов’язана з моделюванням клітини, друга ‒ з побудовою алгебраїчного терму.
У 70-і роки ХХ ст. в Інституті кібернетики АН УРСР у відділі Віктора Глушкова розвивався напрям автоматичного доведення теорем. Система автоматичного доведення (САД) виконувала завдання з доведення формул, розв’язання рівнянь у різних теоріях на основі математичних визначень, систем аксіом та допоміжних лем. Була створена спеціальна мова математичних текстів. Система розвивалася, і далі було створено систему алгебраїчного програмування, в основу якої лягла обробка алгебраїчних термів. У системі створювалися розв’язувачі в різних теоріях, які обробляли та будували алгебраїчні терми.
Конкурс за першою задачею триватиме з 1 березня до 1 вересня 2023 року, за другою ‒ з 1 березня до 20 травня 2023 року. Більш докладну інформацію про них можна знайти за цією URL-адресою.