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

Базы данных

Основная база библиотеки - результаты поиска

Вид поиска

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

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

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

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

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

ЭБС «Лань»

ЭБС «Юрайт»

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

в найденном

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

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

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

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

1-10 11-20 21-30 31-38

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
Постоянная гиперссылка

517
Ш 507

    Шершнев, В. Г.
    Математический анализ: сборник задач с решениями [Текст] : учебное пособие / рец.: О. В. Татарников, Г. Г. Вокин. - М. : ИНФРА-М, 2023. - 164 с. : рис., табл. - (Высшее образование). - Библиогр.: с. 162. - ISBN 978-5-16-018502-6 (print). - ISBN 978-5-16-102771-4 (online) : 872.00 р.

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

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

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

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
Постоянная гиперссылка

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
Постоянная гиперссылка

519
С 440

    Скоба, Андрей Николаевич.
    Дискретная математика [Электронный ресурс] : учебное пособие / А. Н. Скоба, М. Л. Логанчук, Г. И. Саенко ; рец.: Д. В. Гринченков, П. В. Иванов ; Министерство науки и высшего образования РФ, Южно-Российский государственный политехнический университет имени М. И. Платова (Новочеркасск). - Электрон. текстовые дан. - Новочеркасск : ЮРГПУ (НПИ), 2022. - on-line : табл., рис. - Библиогр.: с. 94-95. - ISBN 978-5-9997-0804-5 : Б. ц.

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

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

Доп.точки доступа:
Логанчук, Мария Леонидовна
Саенко, Геннадий Иванович
Гринченков, Д. В. \рец.\
Иванов, П. В. \рец.\
Министерство науки и высшего образования РФ
Южно-Российский государственный политехнический университет имени М. И. Платова (Новочеркасск)

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

519
Р 935

    Рыбин, Сергей Витальевич.
    Дискретная математика и информатика [Электронный ресурс] : учебник для вузов / С. В. Рыбин ; рец. Ф. А. Новиков ; отв. ред. В. В. Яески. - Электрон. текстовые дан. - СПб. : Лань, 2022. - on-line : табл., рис. - (Высшее образование). - Библиогр.: с. 725-730. - Предм. указ.: с. 734-747. - ISBN 978-5-8114-8566-6 : Б. ц.

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

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

Доп.точки доступа:
Новиков, Ф. А. \рец.\
Яески, В. В. \отв. ред.\

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

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
Постоянная гиперссылка

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
Постоянная гиперссылка

004
К 889

    Кудрявцева, Ирина Андреевна.
    Программирование: теория типов [Электронный ресурс] : учебное пособие для вузов / И. А. Кудрявцева, М. В. Швецкий ; рец.: К. Р. Пиотровская, И. Ю. Матюшичев. - 2-е изд., перераб. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2022. - on-line. - (Высшее образование). - Библиогр.: с. 588-595. - ISBN 978-5-534-11088-3 : Б. ц.

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

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

Доп.точки доступа:
Швецкий, Михаил Владимирович
Пиотровская, К. Р. \рец.\
Матюшичев, И. Ю. \рец.\

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

10.

51
Л 656

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

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

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

Доп.точки доступа:
Сукачева, Тамара Геннадьевна

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

11.

519.1
К 891

    Кузнецов, Олег Петрович.
    Дискретная математика для инженера [Электронный ресурс] : учебное пособие / О. П. Кузнецов ; ред. И. Л. Яновская. - 6-е изд., стер. - Электрон. текстовые дан. - СПб. : Лань, 2021. - on-line : рис., табл. - (Учебники для вузов. Специальная литература). - Библиогр.: с. 388-389. - Предм. указ.: с. 390-393. - ISBN 978-5-8114-0570-1 : Б. ц.

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

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

Доп.точки доступа:
Яновская, И. Л. \ред.\

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

12.

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
Постоянная гиперссылка

13.

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
Постоянная гиперссылка

14.

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
Постоянная гиперссылка

15.

004
К 889

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

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

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

Доп.точки доступа:
Гасанов, Эльяр Эльдарович
Подколзин, Александр Сергеевич
Козлов, В. Н. \рец.\
Фролов, А. Б. \рец.\

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

16.

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
Постоянная гиперссылка

17.

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
Постоянная гиперссылка

18.

004
Н 731

    Новиков, Федор Александрович.
    Символический искусственный интеллект: математические основы представления знаний [Электронный ресурс] : учебное пособие для вузов / Ф. А. Новиков. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : портр., рис., табл., схемы. - (Высшее образование). - Предм. указ.: с. 274-278. - ISBN 978-5-534-00734-3 : Б. ц.

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

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

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

19.

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
Постоянная гиперссылка

20.

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
Постоянная гиперссылка

1-10 11-20 21-30 31-38

Статистика за 28.06.2024
Число запросов	96285
Число заказов	0

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