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 извлечение фактов; информационная система; автоматическая проверка Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.03 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/2/v17-3803 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.1 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
