Поисковый запрос: (<.>K=предикаты<.>) |
Общее количество найденных документов : 38
Показаны документы с 1 по 20 |
|
1.
| Бабичева, Ирина Владимировна. Дискретная математика. Контролирующие материалы к тестированию [Электр.ресурс] : учебное пособие. - СПб. : Лань
, 2022 on-line (
экз. )
|
2.
| Бабичева, Ирина Владимировна. Дискретная математика. Контролирующие материалы к тестированию : учебное пособие. - СПб. : Лань
, 2013. - 160 с. (
5 экз. )
|
3.
| Багаев, Дмитрий Викторович. Методы искусственного интеллекта. Программирование в Prolog : практикум. - Ковров : КГТА
, 2010. - 52 с (
10 экз. )
|
4.
| Бессмертный, Игорь Александрович. Системы искусственного интеллекта [Электр.ресурс] : учебное пособие для вузов. - М. : Юрайт
, 2020 on-line (
экз. )
|
5.
| Богатикова, Людмила Ивановна. Прагматика. Теория речевых актов [Электр.ресурс] : практическое пособие. - Гомель : ГГУ им. Ф. Скорины
, 2023 on-line (
экз. )
|
6.
| Болотова, Людмила Сергеевна. Системы искусственного интеллекта: модели и технологии, основанные на знаниях : учебник для вузов. - М. : Финансы и статистика
, 2012. - 664 с. (
15 экз. )
|
7.
| Болотова, Людмила Сергеевна. Системы поддержки принятия решений [] : учебник и практикум для вузов: в 2-х ч. - (Высшее образование). Часть 1
, 2020 on-line (
экз. )
|
8.
| Будаев В. Д. Математический анализ. Функции одной переменной : учебник. - СПб. : Лань
, 2012. - 544 с. (
1 экз. )
|
9.
| Введение в алгебру и математический анализ [Электр.ресурс] : учебное пособие для вузов. - СПб. : Лань
, 2023 on-line (
экз. )
|
10.
| Вечтомов, Евгений Михайлович. Математика: логика, множества, комбинаторика [Электр.ресурс] : учебное пособие для вузов. - М. : Юрайт
, 2020 on-line (
экз. )
|
11.
| Гашков, Сергей Борисович. Дискретная математика [Электр.ресурс] : учебник и практикум для вузов. - М. : Юрайт
, 2019 on-line (
экз. )
|
12.
| Гисин, Владимир Борисович. Дискретная математика [Электр.ресурс] : учебник и практикум для вузов. - М. : Юрайт
, 2023 on-line (
экз. )
|
13.
| Глухов, Михаил Михайлович. Математическая логика. Дискретные функции. Теория алгоритмов [Электр.ресурс] : учебное пособие. - СПб. : Лань
, 2021 on-line (
экз. )
|
14.
| Ерусалимский, Яков Михайлович. Дискретная математика. Теория и практикум [Электр.ресурс] : учебник. - СПб. : Лань
, 2018 on-line (
экз. )
|
15.
| Журавлев, Юрий Иванович. Дискретный анализ. Формальные системы и алгоритмы [Электр.ресурс] : учебное пособие для вузов. - М. : Юрайт
, 2020 on-line (
экз. )
|
16.
| Загорулько, Юрий Алексеевич. Искусственный интеллект. Инженерия знаний [Электр.ресурс] : учебное пособие для вузов. - М. : Юрайт
, 2020 on-line (
экз. )
|
17.
| Задачи и упражнения по математической логике, дискретным функциям и теории алгоритмов [Электр.ресурс] : учебное пособие. - СПб. : Лань
, 2021 on-line (
экз. )
|
18.
| Иванов, Владимир Михайлович. Интеллектуальные системы [Электр.ресурс] : учебное пособие для вузов. - М. : Юрайт
, 2020 on-line (
экз. )
|
19.
| Ивлев, Юрий Васильевич. Логика : учебник. - М. : Проспект
, 2016. - 296 с (
1 экз. )
|
20.
| Клини, Стивен Коул. Математическая логика : Пер. англ.. - М. : КомКнига
. - М. : УРСС
, 20072007. - 480[2] с. (
20 экз. )
|
|
|
|
Основная база библиотеки
Стандартный