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

Разработка метода оценки эффективности функционирования кластера с применением математического аппарата нечеткой логики: магистерская диссертация: 27.04.05

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

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

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

Сравнительное исследование эффективности стратегий оптимизации метода резолюций: выпускная квалификационная работа магистра: 02.04.03 - Математическое обеспечение и администрирование информационных систем ; 02.04.03_01 - Математическое обеспечение и администрирование корпоративных информационных систем

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

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

Математика: математическая логика и теория алгоритмов: учебник и практикум для спо. — 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

The logic of knowledge bases

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

Logic and information flow

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

Оценка управления качеством учебного процесса ( с использованием механизма нечетких логик): Автореф. дис... канд. техн. наук: 05.13.06

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