Electronic Documents Search
Documents found: 4
-
Creators Галал Абдаллах Аббас Organization Санкт-Петербургский государственный политехнический университет Imprint Санкт-Петербург, 2002 Collection Научные работы аспирантов/докторантов; Общая коллекция Subjects Гиростаты; Математическое моделирование; свободное вращение; многороторные гиростаты; гироскопы; дифференциальные уравнения; компьютерные методы; символьные вычисления UDC 531.383(048.3) Document type Author's Abstract File type PDF Language Russian Speciality code (OKSVNK) 05.13.18 Speciality group (OKSVNK) 050000 - Технические науки Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 1.0 Mb -
Creators Архипов Тимофей Дмитриевич Scientific adviser Шошмина Ирина Владимировна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects Алгоритмы; Контроллеры программные; Автоматизированные системы проектирования; реагирующие системы; символьные вычисления UDC 004.421; 004.312.46; 004.223.5:51-3 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 02.04.02 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/2/rev/v18-4928-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-4928-r.pdf DOI 10.18720/SPBPU/2/v18-4928 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.8 Mb -
Creators Черноусова Софья Андреевна Scientific adviser Шошмина Ирина Владимировна Other creators Трифонов Петр Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects мир Вампуса; программирование в ограничениях; логический агент; бинарные решающие диаграммы; символьные вычисления; логика высказываний; логика предикатов; Wumpus world; constraint satisfaction problem; logical agent; binary decision diagram; computer algebra; propositional logic; predicate logic 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/3/2020/vr/rev/vr20-928-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-928-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-928 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Creators Голосков Марк Игоревич Scientific adviser Шошмина Ирина Владимировна Other creators Трифонов Петр Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects эпистемическая логика; мультиагентные системы; структуры Крипке; символьные вычисления; программирование в ограничениях; агентное моделирование; epistemic logic; multi-agent systems; Kripke structure; symbolic computation; constraint programming; agent simulation 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/3/2020/vr/rev/vr20-959-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-959-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-959 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 4.9 Mb
