Electronic Documents Search
Documents found: 3
-
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 Санкт-Петербург, 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 Новиков Федор Александрович 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
