Electronic Documents Search
Documents found: 30
-
Creators Городецкий Андрей Емельянович; Тарасова Ирина Леонидовна; Шкодырев Вячеслав Петрович Organization Санкт-Петербургский политехнический университет Петра Великого Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2016 Electronic publication Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Математическое моделирование; Математическая логика; Интервальный анализ (мат.); интеллектуальные системы; учебники и пособия для вузов UDC 510.6(075.8); 519.876.5(075.8); 004.89(075.8) Document type Tutorial File type PDF Language Russian Speciality code (FGOS) 01.00.00 Speciality group (FGOS) 010000 - Математика и механика DOI 10.18720/SPBPU/2/si20-1135 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 6.4 Mb -
The outer limits of reason: what science, mathematics, and logic cannot tell us
Creators Yanofsky Noson S. Organization IEEE Xplore (Online Service); MIT Press Imprint Cambridge, Massachusetts London, England: MIT Press, 2013 Collection Электронные книги зарубежных издательств; Общая коллекция Subjects Математика; Математическая логика; знание; наука; философия науки; MIT Press eBooks Library UDC 510.6 LBC 87.254 Document type Other File type Other Language English Rights Доступ по паролю из сети Интернет (чтение, печать) https://ieeexplore.ieee.org/xpl/bkabstractplus.jsp?bkn=6642245 -
Creators Попова Светлана Владимировна; Ходырев Иван Александрович Organization Санкт-Петербургский государственный политехнический университет Imprint Санкт-Петербург, 2010 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Математическая логика UDC 510.6(075.8) Document type Tutorial File type PDF Language Russian Rights Свободный доступ из сети Интернет (чтение, печать) pdf, 1.4 Mb -
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 Данг Тхи Суан 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 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 -
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 -
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 -
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 -
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
