Electronic Documents Search

Documents found: 30

Математика: логика, теория множеств и комбинаторика: учебное пособие для спо. — 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

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

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

Fuzzy logic with engineering applications. — 4th ed.

Creators	Ross Timothy J.
Imprint	Southern Gate, Chichester, West Sussex, United Kingdom: Wiley, 2017
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Математическая логика; Техника; нечеткая логика; fuzzy logic; mathematical logic; engineering
UDC	510.6; 6
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1357232

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

A paraconsistent decision-making method

Creators	Carvalho Fábio Romeu de; Abe Jair Minoro
Imprint	Cham, Switzerland: Springer, 2018
Collection	Электронные книги зарубежных издательств; Общая коллекция
Subjects	Принятие решений; Математическая логика; decision making; mathematical logic
UDC	519.816
Document type	Other
File type	Other
Language	English
Rights	Доступ по паролю из сети Интернет (чтение, печать)

http://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&db=nlabk&AN=1833707

Optimal balanced SINR tracking for multichannel CDMA based ranging system // The First Joint International Conference on Astrophysics for Young Scientists (JICA): Oktober 3-7, 2017, Byurakan, Armenia: [book of proceedings]

Creators	Xu Jiuling; Zhang Chaojie; Wang Chunhui; Huangjiajun
Imprint	Saint-Petersburg: Peter the Great St. Petersburg Polytechnic University, 2017
Collection	Общая коллекция
Subjects	Следящие системы радиотехнические; Математическая логика; Радиосигналы — Обнаружение; multi-channel ranging; fuzzy logic control
UDC	621.396(063)
Document type	Article, report
File type	PDF
Language	English
DOI	10.18720/SPBPU/2/k17-53
Rights	Свободный доступ из сети Интернет (чтение, печать, копирование)

pdf, 0.6 Mb

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

Обнаружение атак в сетях с динамической топологией на основе адаптивной нейро-нечеткой системы вывода: выпускная квалификационная работа специалиста: направление 10.05.01 «Компьютерная безопасность» ; образовательная программа 10.05.01_02 «Математические методы защиты информации»

Creators	Иванов Максим Ильич
Scientific adviser	Павленко Евгений Юрьевич
Other creators	Попова Елена Александровна
Organization	Санкт-Петербургский политехнический университет Петра Великого. Институт кибербезопасности и защиты информации
Imprint	Санкт-Петербург, 2021
Collection	Выпускные квалификационные работы; Общая коллекция
Subjects	Нейронные сети; Искусственный интеллект; Информационные сети; Математическая логика; Информация — Защита; выявление атак; сетевая безопасность; attack detection; network security
UDC	004.032.26; 004.8; 004.7; 004.056
Document type	Specialist graduation qualification work
File type	PDF
Language	Russian
Level of education	Specialist
Speciality code (FGOS)	10.05.01
Speciality group (FGOS)	100000 - Информационная безопасность
Links	http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-134-o.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-134-r.pdf; http://elib.spbstu.ru/dl/3/2021/vr/rev/vr21-134-a.pdf
DOI	10.18720/SPBPU/3/2021/vr/vr21-134
Rights	Доступ по паролю из сети Интернет (чтение)

pdf, 2.1 Mb