Electronic Documents Search

Documents found: 3

1

Модели и методы автоматической проверки решений задач: специальность 05.13.11 - Математическое и программное обеспечение вычислительных машин, комплексов и компьютерных сетей: автореферат диссертации на соискание ученой степени кандидата технических наук

Creators	Кацман Виктор Игоревич
Scientific adviser	Новиков Федор Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	Санкт-Петербург, 2022
Electronic publication	Санкт-Петербург
Collection	Научные работы аспирантов/докторантов; Общая коллекция
Subjects	Вычислительная математика; Алгоритмы; символьные выражения; логические утверждения; цепочка преобразований; автоматическая проверка; язык математических выкладок
UDC	519.6; 510.5; 004.421
Document type	Author's Abstract
File type	PDF
Language	Russian
Speciality code (OKSVNK)	05.13.11
Speciality group (OKSVNK)	050000 - Технические науки
DOI	10.18720/SPBPU/2/r22-58
Rights	Доступ из локальной сети ИБК СПбПУ (чтение)

pdf, 1.1 Mb

Алгоритм автоматической проверки правильности преобразований комбинаторных выражений: магистерская диссертация: 01.04.02

Creators	Кацман Виктор Игоревич
Scientific adviser	Новиков Федор Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики
Imprint	Санкт-Петербург, 2017
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Комбинаторика (мат. ); учебный процесс; символьные выражения; верификация
UDC	004.588:519.1(043.3)
LBC	74.027.9я031
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/2/v17-3302
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.4 Mb

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

Creators	Козлов Илья Алексеевич
Scientific adviser	Новиков Федор Александрович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт
Imprint	Санкт-Петербург, 2022
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Математический анализ; Математическое моделирование; игрофикация; образование; символьные выражения; gamification; education; symbolic expressions
UDC	517; 519.876.5
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-502
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 2.7 Mb

1