Electronic Documents Search
Documents found: 5
-
Creators Ткачук Андрей Сергеевич Scientific adviser Шошмина Ирина Владимировна Other creators Локшина Екатерина Геннадиевна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects бинарные решающие диаграммы; программирование в ограничениях; логический агент; мир Вампуса; поиск пути; binary decision diagrams; restricted programming; logical agent; Vampus world; path finder 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/2021/vr/rev/vr21-3126-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-3126-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-3126 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Creators Миндубаева Резеда Анваровна Scientific adviser Шошмина Ирина Владимировна Other creators Трифонов Петр Владимирович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2020 Collection Выпускные квалификационные работы; Общая коллекция Subjects бинарная решающая диаграмма; задача сапера; логика высказываний; программирование в ограничениях; моделирование в AnyLogic; тренажер; binary decision diagram; minesweeper; propositional calculus; AnyLogic modeling; constraint programming; educational game 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-1383-o.pdf; http://elib.spbstu.ru/dl/3/2020/vr/rev/vr20-1383-a.pdf DOI 10.18720/SPBPU/3/2020/vr/vr20-1383 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.6 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 -
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 Попов Сергей Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects бизнес-процесс; BPM; BPMN; согласованность параметров; XML; программирование в ограничениях; алгоритмы на графах; business process; parameter consistency; constraint programming; graph algorithms Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 02.03.01 Speciality group (FGOS) 020000 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2023/vr/vr23-3743 Rights Доступ по паролю из сети Интернет (чтение) pdf, 1.3 Mb
