Electronic Documents Search
Documents found: 30
-
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 Хохлюк Виталий Иванович 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 -
Нечеткое математическое моделирование плохо формализуемых процессов и систем
Creators Городецкий Андрей Емельянович; Тарасова Ирина Леонидовна Organization Российская академия наук Imprint Санкт-Петербург: Изд-во Политехн. ун-та, 2010 Electronic publication Санкт-Петербург, 2020 Collection Учебная и учебно-методическая литература; Общая коллекция Subjects Математическое моделирование; Математическая логика; Множеств теория UDC 510.6; 519.876.5; 510.22 Document type Other File type PDF Language Russian Speciality code (FGOS) 27.00.00 Speciality group (FGOS) 270000 - Управление в технических системах DOI 10.18720/SPBPU/2/si20-1336 Rights Доступ по паролю из сети Интернет (чтение, печать, копирование) pdf, 12.3 Mb -
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 -
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 Павлов Владимир Александрович; Пак Вадим Геннадьевич 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 -
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 -
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 -
A paraconsistent decision-making method
Creators Carvalho Fá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 -
Математическая логика: онлайн-курс
Creators Карпов Юрий Глебович; Шошмина Ирина Владимировна Organization Санкт-Петербургский политехнический университет Петра Великого. Институт компьютерных наук и технологий Imprint [Санкт-Петербург, 2016] Collection Онлайн-курсы; Общая коллекция Subjects Математическая логика; открытое образование UDC 510.6(075.8) Document type Tutorial File type Other Language Russian Rights Свободный доступ из сети Интернет (чтение, печать, копирование) https://openedu.ru/course/spbstu/MATLOG/