Electronic Documents Search
Documents found: 6
-
Creators Павлов Владимир Александрович; Пак Вадим Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого; Министерство образования и науки Российской Федерации Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2015 Collection Общая коллекция Subjects Радиоэлектроника; Искусственный интеллект. Экспертные системы; автоматическое доказательство теорем; программы доказательства теорем; программы; доказательство теорем; математическая логика; интуиционистская логика; логические исчисления; секвенции; WhaleProver; системы доказательства теорем; обратный метод Маслова; Маслова обратный метод UDC 004.8 LBC 32.813 Document type Article, report File type PDF Language Russian DOI 10.5862/JCSTCS.234.7 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 344 Kb -
Creators Разуваев Данил Scientific adviser Пак Вадим Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2023 Collection Выпускные квалификационные работы; Общая коллекция Subjects стратегии метода резолюций; генетические алгоритмы; управление выводом; автоматическое доказательство теорем; resolution method strategies; genetic algorithms; inference control; automated theorem proving 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 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2023/vr/vr23-3936 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.7 Mb -
Creators Шляга Вячеслав Владимирович Scientific adviser Пак Вадим Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и кибербезопасности Imprint Санкт-Петербург, 2024 Collection Выпускные квалификационные работы; Общая коллекция Subjects обратный метод Маслова; автоматическое доказательство теорем; параллельные алгоритмы; inverse proving method; automated theorem proving; parallel algorithms 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 - Компьютерные и информационные науки DOI 10.18720/SPBPU/3/2024/vr/vr24-3916 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
Creators Павлов Владимир Александрович Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2017 Collection Общая коллекция Subjects Радиоэлектроника; Искусственный интеллект. Экспертные системы; метод Маслова; Маслова метод; интуиционистская логика; обратные методы (логика); логические исчисления; логические выводы; автоматическое доказательство теорем; method Maslova; Maslova method; intuitionistic logic; inverse methods (logic); logical calculus; logical conclusions; automatic theorem proving UDC 004.8 LBC 32.813 Document type Article, report File type PDF Language Russian DOI 10.18721/JCSTCS.10104 Rights Свободный доступ из сети Интернет (чтение, печать, копирование) pdf, 0.9 Mb -
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 Вычислительные машины электронные — Программирование - Автоматизация; Математическая физика — Решение задач на вычислительных машинах; метод резолюций; автоматическое доказательство теорем; стратегия оптимизации; алгоритм унификации 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
