Electronic Documents Search

Documents found: 1

1

Модели организации программных комплексов автоматической проверки решений задач на преобразование формул: выпускная квалификационная работа магистра: направление 01.04.02 «Прикладная математика и информатика» ; образовательная программа 01.04.02_02 «Математические методы анализа и визуализации данных»

Creators	Денисов Павел Павлович
Scientific adviser	Новиков Федор Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт
Imprint	Санкт-Петербург, 2022
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные — Программы; программные комплексы; модели организации программных комплексов; автоматическая проверка решений задач; задачи на преобразование формул; software complexes; models of the organization of software complexes; automatic verification of solutions to problems; tasks for the conversion of formulas
UDC	004.422.8
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	01.04.02
Speciality group (FGOS)	010000 - Математика и механика
DOI	10.18720/SPBPU/3/2023/vr/vr23-489
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 2.7 Mb

1