Electronic Documents Search
Documents found: 29
-
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 -
Creators Дойников Илья Дмитриевич Scientific adviser Новиков Федор Александрович Other creators Кацман В. И. Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects пользовательский интерфейс; система автоматической проверки задач; mathquill; контекстно свободная грамматика; user interface; context free grammar Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 01.03.02 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/3/2022/vr/vr22-2807 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 10.6 Mb -
Creators Бочкарев Илья Алексеевич Scientific adviser Новиков Федор Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects онтология; формализация знаний; систематизация знаний; дискретная математика; uml; ontology; formalization of knowledge; systematization of knowledge; discrete mathematics Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 01.03.02 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/3/2022/vr/vr22-2803 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.3 Mb -
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 -
Creators Подъячева Светлана Игоревна Scientific adviser Новиков Федор Александрович Other creators Арефьева Людмила Анатольевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт прикладной математики и механики Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные — Применение в экономике; Делопроизводство; система электронного документооборота; информационное общество; качество программного обеспечения; тестирование LBC 65.291.212.8с51-21я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 - Математика и механика Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2221-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2221-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-2221-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-2221 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.9 Mb -
Creators Кацман Виктор Игоревич Scientific adviser Новиков Федор Александрович Other creators Арефьева Людмила Анатольевна Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2021 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Автоматические системы; Моделирование; автоматическая проверка; логические правила; пошаговые улучшения; вычислительные эксперименты; образование; automated Verification; logical rules; stepwise refinement; computational experiments; education UDC 681.51 Document type Scientific report File type Other Language Russian Level of education Graduate student Speciality code (FGOS) 09.06.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Rights Текст не доступен в соответствии с распоряжением СПбПУ от 11.04.2018 № 141 -
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 -
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 -
Creators Грицаенко Никита Дмитриевич Scientific adviser Новиков Федор Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects Тригонометрия; Алгоритмы; автоматизация; преобразования символьных выражений; automation; symbolic expressions transformations UDC 514.116; 510.5; 004.421 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-487 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.1 Mb -
Creators Демьянов Дмитрий Сергеевич Scientific adviser Новиков Федор Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Физико-механический институт Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects Дискретная математика; языки предметных областей; грамматики; автоматы; онтологии; domain-specific languages; grammar; automata; ontologies UDC 519.1 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/2022/vr/vr22-3693 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.7 Mb
