Electronic Documents Search

Documents found: 5

1

Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – № 6 (234)

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	Пак Вадим Геннадьевич
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2010
Electronic publication	Санкт-Петербург, 2020
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Дискретная математика; Комбинаторика (мат. ); Графов теория
UDC	519.1(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	01.00.00
Speciality group (FGOS)	010000 - Математика и механика
DOI	10.18720/SPBPU/2/si20-566
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 6.0 Mb

Вычислительная математика: учебное пособие

Creators	Пак Вадим Геннадьевич; Черкасова Танзиля Халитовна
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2013
Electronic publication	Санкт-Петербург, 2020
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Вычислительная математика
UDC	519.6(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Speciality code (FGOS)	01.00.00
Speciality group (FGOS)	010000 - Математика и механика
DOI	10.18720/SPBPU/2/si20-911
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 3.5 Mb

Методы вычислительной математики: онлайн-курс

Creators	Пак Вадим Геннадьевич; Черкасова Танзиля Халитовна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	[Санкт-Петербург, 2017]
Collection	Онлайн-курсы; Общая коллекция
Subjects	Вычислительная математика; открытое образование
UDC	519.6(075.8)
Document type	Tutorial
File type	Other
Language	Russian
Rights	Свободный доступ из сети Интернет

https://openedu.ru/course/spbstu/NUMMETH/

Дискретная математика: теория множеств и комбинаторный анализ: сборник задач: учебное пособие для вузов

Creators	Пак Вадим Геннадьевич
Imprint	Москва: Юрайт, 2023
Collection	Электронные книги издательства "ЮРАЙТ"; Общая коллекция
Subjects	Дискретная математика; Комбинаторика (мат. ); Множеств теория
UDC	519.1(075.8)
Document type	Tutorial
File type	Other
Language	Russian
Rights	Доступ по паролю из сети Интернет (чтение)

https://urait.ru/bcode/514065

1