Electronic Documents Search
Documents found: 3
-
Creators Мальгавка Александр Сергеевич Scientific adviser Карпов Юрий Глебович Organization Санкт-Петербургский политехнический университет Петра Великого. Высшая школа программной инженерии Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects планирование действий; эпистемическая логика; структура Крипке; логический вывод; V-Rep Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/2/rev/v18-4943-o.pdf DOI 10.18720/SPBPU/2/v18-4943 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.7 Mb -
Creators Ходжахова Алина Павловна Scientific adviser Ростов Николай Васильевич Other creators Селиванова Елена Николаевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2019 Collection Выпускные квалификационные работы; Общая коллекция Subjects Генераторы квантовые — Применение в сварке; экспертная система; нечеткая логика; кластерный анализ; логический вывод; прогнозирование; лазерная сварка UDC 621.373.8:621.791 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-5777-o.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-5777-r.pdf; http://elib.spbstu.ru/dl/3/2019/vr/rev/vr19-5777-a.pdf DOI 10.18720/SPBPU/3/2019/vr/vr19-5777 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 2.9 Mb -
Creators Кулик Борис Александрович Organization Российская академия наук Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2021 Collection Общая коллекция Subjects Математическая логика; логический вывод; интересные следствия; алгебра кортежей; правило обобщения; минимальное следствие; проекция; элиминация атрибутов UDC 510.6 Document type Article, report File type PDF Language Russian DOI 10.18720/SPBPU/2/id21-157 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.4 Mb
