РЕЦЕНЗИЯ на дипломную работу студента 4 курса кафедры информатики математико-механического факультета Санкт-Петербургского государственного университета Харитонова Никиты Алексеевича Алгебраические байесовские сети: представление данных, алгоритмы обработки и реинжиниринг комплекса программ  Дипломная работа Харитонова  Н.А. посвящена разработке и реализации алгоритмов  поддержания глобальной непротиворечивости для разрабатываемой С#-библиотеки логико-вероятностного вывода в алгебраических байесовских сетях. Для достижения указанных целей автор сформулировал систему задач: автоматизировать разбор входной строки, содержащей пропозициональную формулу; изучить и произвести доработку существующих алгоритмов поддержания непротиворечивости; реализовать программное представление алгебраических байесовских сетей и алгоритмы поддержания непротиворечивости в них; разработать тесты и сопровождающую документацию. Решая поставленные задачи, Харитонов Н.А. разработал структуру классов для представления алгебраических байесовских сетей, доработал и реализовал алгоритмы поддержания непротиворечивости. Кроме того, автор предложил алгоритм разбора (парсер) пропозициональной формулы и трансляции ее в характеристический вектор квантов. По результатам работы Харитоновым Н.А. было подготовлено пять публикаций, две из которых опубликованы, три других приняты к печати; одна из них принята к публикации в издании, индексируемом SCOPUS. Также Харитонов Н.А. подал заявку на регистрацию программы для ЭВМ в РОСПАТЕНТе. К достоинствам работы следует отнести проработанность представления материала, широкий для бакалаврской работы спектр решаемых задач и прикладную значимость работы для развития теории алгебраических байесовских сетей. Поставленная цель является актуальной, а полученный результат — новым. К недостаткам работы следует отнести  1)	отсутствие описание того, что возвращает алгоритм разбора формулы для некорректного ввода; 2)	отсутствие оценок (теоретических или экспериментальных) на время работы алгоритмов 3)	пунктуационные ошибки, а также совместное использование русского и английского языков в оформлении кода. Тем не менее, перечисленные недостатки не умоляют значимости и достоверности полученных в работе результатов. Все поставленные задачи были выполнены и цели достигнуты, выпускная квалификационная работы бакалавра работа выполнена качественно, добросовестно. Учитывая все сказанное, считаю, что дипломная работа Никиты Алексеевича Харитонова заслуживает оценки «отлично».   Рецензент, доцент кафедры компьютерных технологий Университета ИТМО, к.ф.-м.н.		  А.А. Фильченков 29.05.2017