Electronic Documents Search
Documents found: 30
-
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 -
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 -
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 -
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 -
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 Горбовский Валентин Николаевич 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 -
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 -
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 -
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
