Electronic Documents Search

Documents found: 30

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

Creators	Иванов Александр Александрович
Scientific adviser	Миневич Татьяна Геннадьевна
Other creators	Сахно Людмила Ивановна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт энергетики
Imprint	Санкт-Петербург, 2021
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Вычислительные машины электронные персональные — Программы прикладные; Напряжения (электр.); Накопители энергии; Электрические сети — Мощность; Математическая логика; метод роя частиц; оптимальные решения; фронт парето; particle swarm optimization; optimal solution; front pareto
UDC	004.9; 621.3.015; 621.355; 621.311.15; 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-1247-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1247-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-1247-a.pdf
DOI	10.18720/SPBPU/3/2021/vr/vr21-1247
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.6 Mb

Компетентностный подход к формированию команды инновационного проекта: выпускная квалификационная работа магистра: направление 27.04.05 «Инноватика» ; образовательная программа 27.04.05_01 «Управление инновационными процессами»

Creators	Остаева Ольга Ботазовна
Scientific adviser	Культин Никита Борисович
Other creators	Итс Алёна Евгеньевна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий
Imprint	Санкт-Петербург, 2021
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Проектные организации; Математическая логика; Моделирование; формирование команды проекта; компетентностный подход; project team formation; competence approach
UDC	510.6
LBC	65.291.551
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 - Управление в технических системах
Links	http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4478-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4478-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-4478-a.pdf
DOI	10.18720/SPBPU/3/2021/vr/vr21-4478
Rights	Доступ по паролю из сети Интернет (чтение, печать, копирование)

pdf, 1.4 Mb

Анализ рисков информационной безопасности с использованием аппарата нечеткой логики: выпускная квалификационная работа магистра: направление 10.04.01 «Информационная безопасность» ; образовательная программа 10.04.01_01 «Математические методы компьютерной безопасности»

Creators	Измайлов Илья Витальевич
Scientific adviser	Калинин Максим Олегович
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации
Imprint	Санкт-Петербург, 2022
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Нейронные сети; Информация — Защита; Математическая логика; анализ рисков информационной безопасности; системы нечеткого вывода; cybersecurity risk assessment; fuzzy inference systems
UDC	004.032.26; 004.056; 510.6
Document type	Master graduation qualification work
File type	PDF
Language	Russian
Level of education	Master
Speciality code (FGOS)	10.04.01
Speciality group (FGOS)	100000 - Информационная безопасность
DOI	10.18720/SPBPU/3/2023/vr/vr23-498
Rights	Доступ по паролю из сети Интернет (чтение)

pdf, 1.0 Mb

Есть ли логика в современном образовании? // Системный анализ в проектировании и управлении: сборник научных трудов XXVI Международной научно-практической конференции, 13–14 октября 2022 года: [в 3 частях]. Ч. 3

Creators	Кулик Борис Александрович
Organization	Российская академия наук. Институт Проблем Машиноведения
Imprint	Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2023
Collection	Общая коллекция
Subjects	Математическая логика; логический анализ; обучение; аксиоматический подход; силлогистика; теория множеств; алгебра множеств; язык первого порядка; исчисление предикатов; алгебра кортежей; logical analysis; education; axiomatic approach; syllogistics; set theory; algebra of sets; first-order language; predicate calculus; n-tuple algebra
UDC	510.6
Document type	Article, report
File type	PDF
Language	Russian
DOI	10.18720/SPBPU/2/id23-482
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 1.3 Mb

Математика: логика, теория множеств и комбинаторика: учебное пособие для спо. — 2-е изд.

Creators	Вечтомов Евгений Михайлович; Широков Дмитрий Владимирович
Imprint	Москва: Юрайт, 2024
Collection	СПО.Электронные книги издательства "ЮРАЙТ"; Общая коллекция
Subjects	Математика: общие работы; Математика и статистика; Математика; Математика (элементы высшей математики, теория вероятностей, математическая статистика); Математическая логика; Элементы математической логики; Введение в математику; Системы символьной математики; Основы математики; Основы математической логики; Введение в математическую логику; Математические методы решения прикладных профессиональных задач; Математические методы решения задач в профессиональной деятельности
UDC	51(075.32)
LBC	22.1я723
Document type	Tutorial
File type	Other
Language	Russian
Rights	Доступ по паролю из сети Интернет (чтение)

https://urait.ru/bcode/540459

Reasoning about uncertainty. — 2nd ed.

Creators	Halpern Joseph Y.
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 2017
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Информации теория; Вероятностей теория; Математическая логика; MIT Press eBooks Library
UDC	519.21(075.8); 510.6(075.8)
Document type	Tutorial
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

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

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

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

Logic and information flow

Other creators	Eijck Jan van; Visser Albert
Organization	IEEE Xplore (Online Service); MIT Press
Imprint	Cambridge, Massachusetts London, England: MIT Press, 1994
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Математическая логика; Информатика; MIT Press eBooks Library
UDC	004; 510.6
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

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

Разработка метода оценки эффективности функционирования кластера с применением математического аппарата нечеткой логики: магистерская диссертация: 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