Electronic Documents Search

Documents found: 30

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

Принципы построения дизъюнктивных сечений // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Физико-математические науки: научное издание. – 2016. – № 2 (242)

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

Экспериментальная программа для доказательства теорем интуиционистской логики обратным методом Маслова // Научно-технические ведомости Санкт-Петербургского государственного политехнического университета. Сер.: Информатика. Телекоммуникации. Управление: научное издание. – 2015. – № 6 (234)

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 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

Математическая логика: онлайн-курс

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/