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