Electronic Documents Search
Documents found: 3
-
Creators Шляга Вячеслав Владимирович Scientific adviser Пак Вадим Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2022 Collection Выпускные квалификационные работы; Общая коллекция Subjects метод резолюций; автоматическое доказательство теорем; стратегия оптимизации; алгоритм унификации; resolution rule; automated logic reasoning; optimization strategies; unification algorithms 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/3/2022/vr/vr22-3052 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.1 Mb -
Creators Вяткина Полина Алексеевна Scientific adviser Беляев Михаил Анатольевич Other creators Нестеров Сергей Александрович Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects TIP; статический анализ; монотонный фреймворк; алгебраическая решетка; алгоритм унификации; абстрактное синтаксическое дерево; граф потока управления; static analysis; monotone framework; algebraic lattice; unification algorithm; abstract syntax tree; control flow graph Document type Bachelor graduation qualification work File type PDF Language Russian Level of education Bachelor Speciality code (FGOS) 09.03.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-719-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-719 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.2 Mb -
Creators Дедов Алексей Александрович Scientific adviser Пак Вадим Геннадьевич Other creators Пархоменко Владимир Андреевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2021 Collection Выпускные квалификационные работы; Общая коллекция Subjects Вычислительные машины электронные — Программирование - Автоматизация; Математическая физика — Решение задач на вычислительных машинах; метод резолюций; автоматическое доказательство теорем; стратегия оптимизации; алгоритм унификации UDC 004.4'24; 51:004 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 02.04.03 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1293-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1293-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1293-a.pdf DOI 10.18720/SPBPU/3/2021/vr/vr21-1293 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.6 Mb
