Electronic Documents Search

Documents found: 30

Принципы построения дизъюнктивных сечений // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Физико-математические науки: научное издание. – 2016. – № 2 (242)

Creators	Хохлюк Виталий Иванович
Organization	Институт математики им. С. Л. Соболева СО РАН; Министерство образования и науки Российской Федерации
Imprint	Санкт-Петербург: Изд-во Политехн. ун-та, 2016
Collection	Общая коллекция
Subjects	Математика; Исследование операций; математическая логика; дизъюнктивные сечения; выпуклые оболочки (математика); замыкакание множеств; математические множества; дизъюнктивные задачи; линейные неравенства; усиление сечений; задачи оптимизации
UDC	519.8
LBC	22.18
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.5862/JPM.242.10
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 330 Kb

The logic of knowledge bases

Creators	Levesque Hector J.; Lakemeyer Gerhard
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2001
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Информации теория; Информатика; Математическая логика; MIT Press eBooks Library
UDC	621.391; 004
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6267409

Математическая логика: онлайн-курс

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

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

Разработка метода оценки эффективности функционирования кластера с применением математического аппарата нечеткой логики: магистерская диссертация: 27.04.05

Creators	Иванкова Екатерина Владимировна
Scientific adviser	Культин Никита Борисович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2017
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Кластеры; Информационные технологии; Математическая логика; инновационное развитие
LBC	65.011.151я031
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	27.04.05
Speciality group (FGOS)	270000 - Управление в технических системах
DOI	10.18720/SPBPU/2/v17-3525
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.1 Mb

Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 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

Оценка управления качеством учебного процесса ( с использованием механизма нечетких логик): Автореф. дис... канд. техн. наук: 05.13.06

Creators	Речинский А. В.
Organization	Санкт-Петербургский государственный политехнический университет. Факультет переподготовки специалистов
Imprint	Санкт-Петербург, 2002
Collection	Научные работы аспирантов/докторантов; Общая коллекция
Subjects	Математическая логика; оценки; управление качеством; нечеткие логики; автоматизация; учебный процесс
UDC	510.6(04); 681.518.2(04)
LBC	74.584(2)
Document type	Author's Abstract
File type	PDF
Language	Russian
Speciality code (OKSVNK)	05.13.06
Speciality group (OKSVNK)	050000 - Технические науки
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 240 Kb

Математическая логика. Политехнический взгляд: онлайн-курс

Creators	Шошмина Ирина Владимировна
Organization	Санкт-Петербургский политехнический университет Петра Великого
Imprint	[Санкт-Петербург, 2019]
Electronic publication	Санкт-Петербург, 2021
Collection	Онлайн-курсы; Общая коллекция
Subjects	Математическая логика; открытое образование
UDC	510.6(075.8)
Document type	Tutorial
File type	Other
Language	Russian
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

https://www.coursera.org/learn/matematicheskaya-logika-politekhnicheskiy-vzglyad

The continued exercise of reason: public addresses by George Boole

Creators	Boole George
Other creators	Doole Brendan
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2018
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Logic, Symbolic and mathematical; Математическая логика; MIT Press eBooks Library
UDC	510.6
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=8544142

Математическая логика: учебное пособие для вузов по направлению подготовки магистров "Системный анализ и управление"

Creators	Попова Светлана Владимировна; Ходырев Иван Александрович
Organization	Санкт-Петербургский государственный политехнический университет
Imprint	Санкт-Петербург, 2010
Collection	Учебная и учебно-методическая литература; Общая коллекция
Subjects	Математическая логика
UDC	510.6(075.8)
Document type	Tutorial
File type	PDF
Language	Russian
Rights	Свободный доступ из сети Интернет (чтение, печать)

pdf, 1.4 Mb

Использование нечетких логик для решения задач оптимизации: выпускная квалификационная работа магистра: направление 13.04.02 «Электроэнергетика и электротехника» ; образовательная программа 13.04.02_23 «Энергетические установки на основе использования возобновляемых источников энергии»

Creators	Горбовский Валентин Николаевич
Scientific adviser	Коровкин Николай Владимирович
Other creators	Сахно Людмила Ивановна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики
Imprint	Санкт-Петербург, 2021
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Алгоритмы; Математическое моделирование; Вычислительные машины электронные персональные — Программы прикладные; Математическая логика; оптимизация; оптимальное решение; функционал; фронт парето; нечёткая логика; optimization; optimal solution; functional; pareto front; fuzzy logic
UDC	510.5; 004.421; 519.876.5; 004.9; 510.6
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	13.04.02
Speciality group (FGOS)	130000 - Электро- и теплоэнергетика
Links	http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-839-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-839-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-839-a.pdf
DOI	10.18720/SPBPU/3/2021/vr/vr21-839
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.7 Mb