Дипломна робота бакалавра. ПС-16-1. Сіряк А.В. Метод доведення з нульовим пізнанням та його використання для обгрунтування тверджень

Викладач: Кафедра обчислювальної математики та математичної кібернетики
Рік видання: 2020
Автор: Сіряк Андрій Володимирович
Спеціалізація:

124 Системний аналіз

Опис:
Керівник - В.А. Турчина: канд. фіз.-мат. наук, доцент, зав. каф. ПОМ. Рецензент - К.А. Кузнєцов: канд. фіз.-мат. наук, доцент, доцент ПМЗ