Библиотека ТУСУРа

Базы данных

- результаты поиска

Вид поиска

Основная база библиотеки

База данных нормативных документов

Персоналии ученых-профессоров ТУСУРа

Календарь знаменательных дат

Электронные книги ЛитРес

ЭБС «Лань»

ЭБС «Юрайт»

Область поиска

в найденном

Найдено в других БД:

Основная база библиотеки (38)

Формат представления найденных документов:
полный	для рабочих программ

Отсортировать найденные документы по:
автору	заглавию	году издания	типу документа

Поисковый запрос: (<.>K=предикаты<.>)

Общее количество найденных документов : 38
Показаны документы с 1 по 20

1-20 21-38

519
Б 125

    Бабичева, Ирина Владимировна.
    Дискретная математика. Контролирующие материалы к тестированию [Электронный ресурс] : учебное пособие / И. В. Бабичева ; рец.: А. А. Колоколов, В. А. Далингер. - 2-е изд., испр. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : табл., рис. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 156-157. - ISBN 978-5-8114-1456-7 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
УЧЕБНИКИ -- КОДИФИКАТОРЫ -- МНОЖЕСТВА -- БИНАРНЫЕ ОТНОШЕНИЯ -- ГРАФЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- КВАНТОРЫ -- ИМПЛИКАЦИЯ -- ПРЕДИКАТЫ -- КОМБИНАТОРИКА

Доп.точки доступа:
Колоколов, А. А. \рец.\
Далингер, В. А. \рец.\

Перейти к внешнему ресурсу https://reader.lanbook.com/book/211331#1
Постоянная гиперссылка

519.1
Б 125

    Бабичева, Ирина Владимировна.
    Дискретная математика. Контролирующие материалы к тестированию [Текст] : учебное пособие / И. В. Бабичева. - 2-е изд., испр. - СПб. ; М. ; Краснодар : Лань, 2013. - 160 с. : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 156-157. - ISBN 978-5-8114-1456-7 : 213.95 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519.1

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ТЕОРИЯ МНОЖЕСТВ -- БИНАРНЫЕ ОТНОШЕНИЯ -- КОМБИНАТОРНЫЙ АНАЛИЗ -- ТЕОРИЯ ГРАФОВ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- БУЛЕВЫ ФУНКЦИИ -- ПРЕДИКАТЫ -- КВАНТОРЫ

Перейти к внешнему ресурсу http://www.e.lanbook.com
Имеются экземпляры в отделах: , счз1 (1 экз.), аунл (4 экз.)
Свободны: счз1 (1), аунл (4)
Постоянная гиперссылка

004
Б 140

    Багаев, Дмитрий Викторович.
    Методы искусственного интеллекта. Программирование в Prolog [Текст] : практикум / Д. В. Багаев ; Федеральное агентство по образованию, Ковровская государственная технологическая академия им. В. А. Дегтярева (Ковров). - Ковров : КГТА, 2010. - 52 с. - Библиогр.: с. 51. - ISBN 978-5-86151-356-2 : 155.32 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.8(076.5)
004.432.4 Пролог(076.5)
~РУБ 004

Кл.слова (ненормированные):
РАЗРАБОТКА ПРОГРАММ -- ПОИСК С ВОЗВРАТОМ -- ПРЕДИКАТЫ -- АРИФМЕТИЧЕСКИЕ ОПЕРАЦИИ -- ЛОГИЧЕСКИЕ ЗАДАЧИ -- РАЗРАБОТКА ПРИЛОЖЕНИЙ -- ЭКСПЕРТНЫЕ СИСТЕМЫ -- ОБРАБОТКА ИЗОБРАЖЕНИЙ -- ЛАБОРАТОРНЫЕ РАБОТЫ
Доп.точки доступа:
Федеральное агентство по образованию
Ковровская государственная технологическая академия им. В. А. Дегтярева (Ковров)

Имеются экземпляры в отделах: счз1 (3 экз.), аунл (7 экз.)
Свободны: счз1 (3), аунл (7)
Постоянная гиперссылка

004
Б 535

    Бессмертный, Игорь Александрович.
    Системы искусственного интеллекта [Электронный ресурс] : учебное пособие для вузов / И. А. Бессмертный ; рец. Д. В. Пузанков. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 120. - ISBN 978-5-534-07467-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.8(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ЛАБОРАТОРНЫЕ РАБОТЫ -- ВИДЕОМАТЕРИАЛЫ -- РЕКУРСИИ -- ПРОЛОГ -- ПРОГРАММИРОВАНИЕ -- ЛОГИКА -- НЕЙРОННЫЕ СЕТИ -- СЕМАНТИЧЕСКИЕ СЕТИ -- ПРЕДИКАТЫ

Доп.точки доступа:
Пузанков, Д. В. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/sistemy-iskusstvennogo-intellekta-451721#page/1
Постоянная гиперссылка

811.111
Б 732

    Богатикова, Людмила Ивановна.
    Прагматика. Теория речевых актов [Электронный ресурс] : практическое пособие / Л. И. Богатикова ; Гомельскй государственный университет имени Ф. Скорины. - Электрон. текстовые дан. - Гомель : ГГУ им. Ф. Скорины, 2023. - on-line : табл. - Библиогр.: с. 46-47. - ISBN 978-985-577-904-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
811.111(076)
~РУБ 811.111

Кл.слова (ненормированные):
ПРАКТИЧЕСКОЕ ПОСОБИЕ -- ЛИНГВИСТИКА -- ДЕЙКСИС -- ЛОКУЦИЯ -- ИЛЛОКУЦИЯ -- ПЕРЛОКУЦИЯ -- ПРЕДИКАТЫ -- ЯЗЫКОВЫЕ СРЕДСТВА

Доп.точки доступа:
Банчук, А. А. \ред.\
Пузенко, И. Н. \рец.\
Чалова, О. Н. \рец.\
Гомельскй государственный университет имени Ф. Скорины

Перейти к внешнему ресурсу https://reader.lanbook.com/book/320918#1
Постоянная гиперссылка

004
Б 795

    Болотова, Людмила Сергеевна.
    Системы искусственного интеллекта: модели и технологии, основанные на знаниях [Текст] : учебник для вузов / Л. С. Болотова ; Министерство образования и науки Российской Федерации, Российский государственный университет инновационных технологий и предпринимательства, Государственный научно-исследовательский институт информационных технологий и телекоммуникаций "Информатика". - М. : Финансы и статистика, 2012. - 664 с. : ил. - Библиогр.: с. 605-615. - ISBN 978-5-279-03530-4 : 872.19 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.89(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНИКИ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- ПРОСТРАНСТВО СОСТОЯНИЙ -- ПРЕДИКАТЫ -- СЕМАНТИЧЕСКАЯ СЕТЬ -- ФРЕЙМ -- НЕЧЕТКИЕ ЗНАНИЯ -- ПСЕВДОФИЗИЧЕСКАЯ ЛОГИКА -- ЭКСПЕРТНЫЕ СИСТЕМЫ -- ОНТОЛОГИИ -- МНОГОАГЕНТНЫЕ СИСТЕМЫ -- КОГНИТИВНОЕ МОДЕЛИРОВАНИЕ -- БАЗЫ ЗНАНИЙ
Доп.точки доступа:
Министерство образования и науки Российской Федерации
Российский государственный университет инновационных технологий и предпринимательства
Государственный научно-исследовательский институт информационных технологий и телекоммуникаций "Информатика"

Имеются экземпляры в отделах: аунл (13 экз.), счз1 (2 экз.)
Свободны: аунл (13), счз1 (2)
Постоянная гиперссылка

004
Б 795

   Болотова, Людмила Сергеевна
    Системы поддержки принятия решений [Электронный ресурс] : учебник и практикум для вузов: в 2-х ч. / Л. С. Болотова ; ред.: В. Н. Волкова, Э. С. Болотов ; рец.: Ю. И. Лыпарь, Б. Л. Кукор. - Электрон. текстовые дан. - М. : Юрайт, 2020. - (Высшее образование). - ISBN 978-5-9916-8252-7.
   Часть 1. - on-line : рис., табл. - ). - Библиогр.: с. 239-240. - ISBN 978-5-9916-8250-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.8(075.8)(076.5)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНИКИ -- ПРАКТИКУМЫ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- КЛАССИФИКАЦИЯ -- ПРЕДИКАТЫ -- МОДЕЛИ -- СЕМАНТИЧЕСКИЕ СЕТИ -- ФРЕЙМЫ -- НЕЧЕТКИЕ ЗНАНИЯ -- МЕТОДОЛОГИЯ -- ВИДЕОМАТЕРИАЛЫ

Доп.точки доступа:
Волкова, Виолетта Николаевна \ред.\
Болотов, Эдуард Сергеевич \ред.\
Лыпарь, Ю. И. \рец.\
Кукор, Б. Л. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/sistemy-podderzhki-prinyatiya-resheniy-v-2-ch-chast-1-451321#page/1
Постоянная гиперссылка

517
Б 903

    Будаев, В. Д.
    Математический анализ. Функции одной переменной [Текст] : учебник / В. Д. Будаев, М. Я. Якубсон. - СПб. ; М. ; Краснодар : Лань, 2012. - 544 с. : рис. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 531-. - Предм. указ.: с. 532-536. - Имен. указ.: с. 537. - ISBN 978-5-8114-1186-3 : 1030.26 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
517:517.5(075.8)
~РУБ 517

Кл.слова (ненормированные):
УЧЕБНИКИ -- МНОЖЕСТВА -- ПРЕДИКАТЫ -- КВАНТОРЫ -- ЛОГИЧЕСКИЕ ЗАКОНЫ -- ДЕЙСТВИТЕЛЬНЫЕ ЧИСЛА -- СУПРЕМУМ -- ИНФИМУМ -- ПРЕДЕЛЫ -- ЭКВИВАЛЕНТНОСТЬ -- НЕПРЕРЫВНОСТЬ -- ДИФФЕРЕНЦИАЛЬНОЕ ИСЧИСЛЕНИЕ -- ЛИНЕАРИЗАЦИЯ -- ТЕОРЕМЫ -- ЭКСТРЕМУМЫ -- АСИМПТОТЫ -- ИНТЕГРАЛЬНОЕ ИСЧИСЛЕНИЕ -- ЧИСЛОВЫЕ РЯДЫ -- СТЕПЕННЫЕ РЯДЫ -- ДРОБИ
Доп.точки доступа:
Якубсон, М. Я.

Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

512
В 240


    Введение в алгебру и математический анализ [Электронный ресурс] : учебное пособие для вузов / Е. А. Павлов [и др.]. - Электрон. текстовые дан. - СПб. : Лань, 2023. - on-line : табл., рис. - (Высшее образование). - Библиогр.: с. 64. - ISBN 978-5-507-44894-4 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
512(075.8)+517(075.8)
~РУБ 512

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- ТЕОРИЯ МНОЖЕСТВ -- ПРЕОБРАЗОВАНИЯ -- РАВЕНСТВА -- ТОЖДЕСТВА -- УРАВНЕНИЯ -- МАТЕМАТИЧЕСКАЯ ИНДУКЦИЯ -- ПРЕДИКАТЫ -- ВЫСКАЗЫВАНИЯ

Доп.точки доступа:
Павлов, Евгений Александрович
Рудницкий, Олег Иванович
Фурменко, Александр Иванович
Шамилев, Тимур Мидатович

Перейти к внешнему ресурсу https://reader.lanbook.com/book/276662#1
Постоянная гиперссылка

10.

51
В 399

    Вечтомов, Евгений Михайлович.
    Математика: логика, множества, комбинаторика [Электронный ресурс] : учебное пособие для вузов / Е. М. Вечтомов, Д. В. Широков ; рец.: В. А. Тестов, В. В. Чермных. - 2-е изд. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : табл. - (Высшее образование). - Библиогр.: с. 237. - Предм. указ.: с. 238-239. - ISBN 978-5-534-06612-8 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
51(075.8)
~РУБ 51

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ПРЕДИКАТЫ -- АКСИОМЫ -- ТЕОРЕМЫ -- ПОДМНОЖЕСТВА -- БИНАРНЫЕ ОТНОШЕНИЯ -- СОЧЕТАНИЯ -- ВИДЕОМАТЕРИАЛЫ -- УПРАЖНЕНИЯ -- ПРАКТИКУМЫ

Доп.точки доступа:
Широков, Дмитрий Владимирович
Тестов, В. А. \рец.\
Чермных, В. В. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/matematika-logika-mnozhestva-kombinatorika-454362#page/1
Постоянная гиперссылка

11.

519
Г 248

    Гашков, Сергей Борисович.
    Дискретная математика [Электронный ресурс] : учебник и практикум для вузов / С. Б. Гашков, А. Б. Фролов ; рец.: А. В. Бабаш, В. Н. Вагин. - 3-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2019. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 480-481. - ISBN 978-5-534-11613-7 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)(076.5)
~РУБ 519

Кл.слова (ненормированные):
УЧЕБНИКИ -- ПРАКТИКУМЫ -- МНОЖЕСТВА -- ЭКВИВАЛЕНТНОСТЬ -- КОМБИНАТОРИКА -- ГРАФЫ -- ПРЕДИКАТЫ -- КОНЕЧНЫЕ АВТОМАТЫ -- КОДЫ -- АЛГОРИТМЫ

Доп.точки доступа:
Фролов, Александр Борисович
Бабаш, А. В. \рец.\
Вагин, В. Н. \рец.\

Перейти к внешнему ресурсу https://biblio-online.ru/viewer/diskretnaya-matematika-445753#page/1
Постоянная гиперссылка

12.

519
Г 516

    Гисин, Владимир Борисович.
    Дискретная математика [Электронный ресурс] : учебник и практикум для вузов / В. Б. Гисин ; рец.: А. В. Чечкин, О. Е. Кудрявцев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2023. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 466. - ISBN 978-5-534-16763-4 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)(076.5)
~РУБ 519

Кл.слова (ненормированные):
УЧЕБНИКИ -- ПРАКТИКУМЫ -- МНОЖЕСТВА -- СООТВЕТСТВИЯ -- БИНАРНЫЕ ОТНОШЕНИЯ -- РЕШЕТКИ -- ПРЕДИКАТЫ -- КОМБИНАТОРИКА -- ВЕРОЯТНОСТЬ -- ГРАФЫ -- КОДИРОВАНИЕ

Доп.точки доступа:
Чечкин, А. В. \рец.\
Кудрявцев, О. Е. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/diskretnaya-matematika-531659#page/1
Постоянная гиперссылка

13.

510
Г 554

    Глухов, Михаил Михайлович.
    Математическая логика. Дискретные функции. Теория алгоритмов [Электронный ресурс] : учебное пособие / М. М. Глухов, А. Б. Шишков ; рец.: В. Б. Алексеев, В. П. Зязин. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 398-401. - ISBN 978-5-8114-1344-7 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6:519.1(075.8)
~РУБ 510

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- МНОЖЕСТВА -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ -- ПРЕДИКАТЫ -- СЕМАНТИКА -- БАЗИСЫ -- ДЕКОМПОЗИЦИИ -- БУЛЕВЫ УРАВНЕНИЯ -- ИНВАРИАНТЫ

Доп.точки доступа:
Шишков, Алексей Борисович
Алексеев, В. Б. \рец.\
Зязин, В. П. \рец.\

Перейти к внешнему ресурсу https://reader.lanbook.com/book/168441#1
Постоянная гиперссылка

14.

519
Е 793

    Ерусалимский, Яков Михайлович.
    Дискретная математика. Теория и практикум [Электронный ресурс] : учебник / Я. М. Ерусалимский ; ред. С. В. Макаров ; рец.: О. П. Кузнецов, Т. М. Леденева. - Электрон. текстовые дан. - СПб. : Лань, 2018. - on-line : ил., рис., схемы. - (Учебники для вузов. Специальная литература). - Предм. указ.: с. 457-469. - Библиогр.: с. 470-472. - ISBN 978-5-8114-2908-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
519.1(075.8)
~РУБ 519

Кл.слова (ненормированные):
УЧЕБНИКИ -- КОМПЬЮТЕРНАЯ МАТЕМАТИКА -- БУЛЕВЫ ФУНКЦИИ -- КОМБИНАТОРИКА -- ОТНОШЕНИЯ -- АЛГЕБРА ВЫСКАЗЫВАНИЙ -- ОТОБРАЖЕНИЯ -- ПРЕДИКАТЫ -- АЛГОРИТМЫ -- ТЕОРИЯ ГРАФОВ -- РЕШЕНИЯ ЗАДАЧ

Доп.точки доступа:
Макаров, С. В. \ред.\
Кузнецов, О. П. \рец.\
Леденева, Т. М. \рец.\

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/106869/#1
Постоянная гиперссылка

15.

510
Ж 911

    Журавлев, Юрий Иванович.
    Дискретный анализ. Формальные системы и алгоритмы [Электронный ресурс] : учебное пособие для вузов / Ю. И. Журавлев, Ю. А. Флеров, М. Н. Вялый ; рец. В. К. Леонтьев. - 2-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 310-311. - Предм. указ.: с. 312-316. - ISBN 978-5-534-06279-3 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6:510.5(075.8)
~РУБ 510

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ПРИКЛАДНАЯ МАТЕМАТИКА -- ВИДЕОМАТЕРИАЛЫ -- ПРЕДИКАТЫ -- МАТЕМАТИЧЕСКАЯ ЛОГИКА -- НЕРАЗРЕШИМОСТЬ -- МОДЕЛИРОВАНИЕ -- ИНТЕРПРЕТАЦИИ -- ФОРМАЛИЗАЦИЯ -- ИСЧИСЛЕНИЕ ВЫСКАЗЫВАНИЙ

Доп.точки доступа:
Флеров, Юрий Арсениевич
Вялый, Михаил Николаевич
Леонтьев, В. К. \рец.\

Перейти к внешнему ресурсу https://urait.ru/viewer/diskretnyy-analiz-formalnye-sistemy-i-algoritmy-452194#page/1
Постоянная гиперссылка

16.

004
З-143

    Загорулько, Юрий Алексеевич.
    Искусственный интеллект. Инженерия знаний [Электронный ресурс] : учебное пособие для вузов / Ю. А. Загорулько, Г. Б. Загорулько ; рец. Ф. А. Мурзин ; Новосибирский государственный университет. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : ил. - (Высшее образование). - Библиогр.: с. 88-90. - ISBN 978-5-534-07198-6 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.8(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ВИДЕОМАТЕРИАЛЫ -- ПРЕДИКАТЫ -- МЕТОД РЕЗОЛЮЦИЙ -- СЕТЕВАЯ МОДЕЛЬ -- СИСТЕМЫ ПРОДУКЦИЙ -- НЕЧЕТКИЕ ЗНАНИЯ -- ОНТОЛОГИИ -- ЭКСПЕРТНЫЕ СИСТЕМЫ -- ПРОГРАММНЫЕ СИСТЕМЫ -- МНОЖЕСТВА

Доп.точки доступа:
Загорулько, Галина Борисовна
Мурзин, Ф. А. \рец.\
Новосибирский государственный университет

Перейти к внешнему ресурсу https://urait.ru/viewer/iskusstvennyy-intellekt-inzheneriya-znaniy-455500#page/1
Постоянная гиперссылка

17.

510
З-153


    Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Электронный ресурс] : учебное пособие / М. М. Глухов [и др.]. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 109-110. - ISBN 978-5-8114-0853-5 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6(075.8)
~РУБ 510

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- БУЛЕВЫ АЛГЕБРЫ -- ПРЕДИКАТЫ -- ОТНОШЕНИЯ -- МИНИМИЗАЦИЯ -- ДИСКРЕТНАЯ МАТЕМАТИКА -- ИСЧИСЛЕНИЕ

Доп.точки доступа:
Глухов, Михаил Михайлович
Козлитин, Олег Алексеевич
Шапошников, Виталий Анатольевич
Шишков, Алексей Борисович

Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/167678/#1
Постоянная гиперссылка

18.

004
И 203

    Иванов, Владимир Михайлович.
    Интеллектуальные системы [Электронный ресурс] : учебное пособие для вузов / В. М. Иванов ; рец.: С. С. Титов, Л. Д. Попов ; Уральский федеральный университет имени первого Президента России Б. Н. Ельцина. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл. - (Высшее образование). - Библиогр.: с. 87-89. - ISBN 978-5-534-00551-6(Изд-во Юрайт). - ISBN 978-5-7996-1867-4(Изд-во Урал. ун-та) : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
УДК
004.8(075.8)
~РУБ 004

Кл.слова (ненормированные):
УЧЕБНЫЕ ПОСОБИЯ -- ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ -- АЛГОРИТМЫ -- ФОРМАЛИЗАЦИЯ ЗАДАЧ -- СТРАТЕГИИ -- МЕТАТЕОРИЯ -- ДОКАЗУЕМОСТЬ -- ПРЕДИКАТЫ -- ЭВРИСТИЧЕСКИЙ ПОИСК -- ФОРМАЛЬНАЯ АРИФМЕТИКА

Доп.точки доступа:
Титов, С. С. \рец.\
Попов, Л. Д. \рец.\
Уральский федеральный университет имени первого Президента России Б. Н. Ельцина

Перейти к внешнему ресурсу https://urait.ru/viewer/intellektualnye-sistemy-453212#page/1
Постоянная гиперссылка

19.

16
И 255

    Ивлев, Юрий Васильевич.
    Логика [Текст] : учебник / Ю. В. Ивлев ; МГУ им. М. В. Ломоносова (М.). - Изд. 4-е, перераб. и доп. - М. : Проспект, 2016. - 296 с : рис., табл. - ISBN 978-5-392-18490-3 : 288.00 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
16(075.8)
~РУБ 16

Кл.слова (ненормированные):
УЧЕБНИКИ -- ИСТОРИЯ -- ЯЗЫК -- СЕМАНТИКА -- ПРЕДИКАТЫ -- ДЕДУКЦИЯ -- ИНДУКЦИЯ -- ПОНЯТИЯ -- ВЕННА ДИАГРАММЫ -- УПРАВЛЕНЧЕСКОЕ РЕШЕНИЕ
Доп.точки доступа:
МГУ им. М. В. Ломоносова (М.)

Имеются экземпляры в отделах: , счз1 (1 экз.)
Свободны: счз1 (1)
Постоянная гиперссылка

20.

51
К 493

    Клини, Стивен Коул.
    Математическая логика : Пер. англ. / С. К. Клини ; пер. : Ю. А. Гастев ; ред. пер. : Г. Е. Минц . - 3-е изд., стереотип. - М. : КомКнига, 2007 ; М. : УРСС, 2007. - 480[2] с. : ил. - Библиогр.: с. 451-469. - Алф.-Предм. указ.: с. 470-478. - ISBN 978-5-484-00802-5 : 215.05 р.

    Коды, Ключ.слова, Доп.точки доступа
УДК
510.6
~РУБ 51

Кл.слова (ненормированные):
математическая логика -- математика -- высказывания -- предикаты -- вычислимость -- разрешимость
Доп.точки доступа:
Гастев, Ю. А. \пер.\
Минц , Г. Е. \ред. пер.\
Клини, Стефан Коул

Имеются экземпляры в отделах: , аунл (18 экз.), счз1 (2 экз.)
Свободны: аунл (18), счз1 (2)
Постоянная гиперссылка

1-20 21-38

Статистика за 16.07.2024
Число запросов	74444
Число заказов	0

© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)