Electronic Documents Search
Documents found: 30
-
Creators Benthem Johan van Organization IEEE Xplore (Online Service); MIT Press Imprint Cambridge, Massachusetts London, England: MIT Press, 2014 Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Математическая логика; Игр теория; MIT Press eBooks Library UDC 510.6; 519.83 Document type Other File type Other Language English Rights Доступ по паролю из сети Интернет (чтение, печать) https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6731151 -
Математическая логика. Политехнический взгляд: онлайн-курс
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 -
Creators Данг Тхи Суан Scientific adviser Васильев Алексей Евгеньевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2016 Collection Выпускные квалификационные работы; Общая коллекция Subjects Искусственный интеллект; Роботы; Математическая логика; Множеств теория; базы нечетких знаний; fuzzy knowledge base UDC 004.896(043.3) Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 09.04.01 Speciality group (FGOS) 090000 - Информатика и вычислительная техника DOI 10.18720/SPBPU/2/v17-797 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 3.1 Mb -
Creators Кулик Борис Александрович Organization Российская академия наук Imprint Санкт-Петербург: ПОЛИТЕХ-ПРЕСС, 2021 Collection Общая коллекция Subjects Математическая логика; логический вывод; интересные следствия; алгебра кортежей; правило обобщения; минимальное следствие; проекция; элиминация атрибутов UDC 510.6 Document type Article, report File type PDF Language Russian DOI 10.18720/SPBPU/2/id21-157 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 0.4 Mb -
Математика: математическая логика и теория алгоритмов: учебник и практикум для спо. — 5-е изд.
Creators Судоплатов Сергей Владимирович; Овчинникова Елена Викторовна Imprint Москва: Юрайт, 2024 Collection СПО.Электронные книги издательства "ЮРАЙТ"; Общая коллекция Subjects Математика: общие работы; Математика и статистика; Теория алгоритмов; Математическая логика; Дискретная математика с элементами математической логики; Основы математической логики; Введение в математическую логику UDC 510.6(075.32) LBC 22.12я723 Document type Tutorial File type Other Language Russian Rights Доступ по паролю из сети Интернет (чтение) https://urait.ru/bcode/542451 -
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 Пак Вадим Геннадьевич Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint Санкт-Петербург, 2018 Collection Выпускные квалификационные работы; Общая коллекция Subjects Математическая логика; Искусственный интеллект UDC 004.832.3 Document type Master graduation qualification work File type PDF Language Russian Level of education Master Speciality code (FGOS) 02.04.03 Speciality group (FGOS) 020000 - Компьютерные и информационные науки Links http://elib.spbstu.ru/dl/2/rev/v18-3761-o.pdf; http://elib.spbstu.ru/dl/2/rev/v18-3761-r.pdf DOI 10.18720/SPBPU/2/v18-3761 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 1.3 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 Шевнина Ю. С.; Гагарина Л. Г.; Конюхов Е. В.; Харитонова А. Д. Imprint 2023 Collection Общая коллекция Subjects Вычислительная техника; Манипулирование данными; Математика; Математическая логика; гетерогенные данные; кластерный анализ данных; нечеткая логика (математика); нечеткие множества; функции принадлежности (математика); математическое моделирование; классификационные признаки; heterogeneous data; cluster data analysis; fuzzy logic (mathematics); fuzzy sets; membership functions (mathematics); mathematical modeling; classification features UDC 004.62; 510.6 LBC 32.973-018.2; 22.12 Document type Article, report File type Other Language Russian DOI 10.24151/1561-5405-2023-28-4-537-546 Rights Доступ по паролю из сети Интернет (чтение) https://elibrary.ru/item.asp?id=54314955 -
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
