Electronic Documents Search

Documents found: 30

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

Сравнительное исследование эффективности стратегий оптимизации метода резолюций: выпускная квалификационная работа магистра: 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

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

Logic in games

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

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

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

Математика: логика, теория множеств и комбинаторика: учебное пособие для спо. — 2-е изд.

Creators	Вечтомов Евгений Михайлович; Широков Дмитрий Владимирович
Imprint	Москва: Юрайт, 2024
Collection	СПО.Электронные книги издательства "ЮРАЙТ"; Общая коллекция
Subjects	Математика: общие работы; Математика и статистика; Математика; Математика (элементы высшей математики, теория вероятностей, математическая статистика); Математическая логика; Элементы математической логики; Введение в математику; Системы символьной математики; Основы математики; Основы математической логики; Введение в математическую логику; Математические методы решения прикладных профессиональных задач; Математические методы решения задач в профессиональной деятельности
UDC	51(075.32)
LBC	22.1я723
Document type	Tutorial
File type	Other
Language	Russian
Rights	Доступ по паролю из сети Интернет (чтение)

https://urait.ru/bcode/540459

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

Математическое моделирование интеллектуальных систем управления. Моделирование детерминированных интеллектуальных систем управления: учебное пособие

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