Авторизация
 

Базы данных


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

Вид поиска

Область поиска
в найденном
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=ПРЕДИКАТЫ<.>)
Общее количество найденных документов : 38
Показаны документы с 1 по 20
 1-20    21-38 
1.
004
Б 795


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

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


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

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


    Шамшев, Алексей Борисович.
    Методы и средства предикатно-онтологического контроля семантики проектных задач и проектных решений : автореферат диссертации на соискание ученой степени кандидата технических наук. 05.13.12 / А. Б. Шамшев ; науч. рук. П. И. Соснин ; Ульяновский государственный технический университет. - Ульяновск, 2010. - 19 с. : ил. - Библиогр.: с. 18-19

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


    Кузнецов, Олег Петрович.
    Дискретная математика для инженера [Текст] / О. П. Кузнецов, Г. М. Адельсон-Вельский. - М. : Энергия, 1980. - 344 с : рис., табл. - Библиогр.: с. 335-337. - Б. ц.

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


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

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


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

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


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

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


   Сафьянова, Елена Николаевна

    Дискретная математика : учебное пособие / Е. Н. Сафьянова ; Министерство образования Российской Федерации, Томский государственный университет систем управления и радиоэлектроники, Кафедра автоматизированных систем управления. - Томск : ТМЦДО, 2000 - .
   Ч. 2. - Томск : ТМЦДО, 2000. - 98 с. : ил, табл. - Библиогр.: с. 98. - 49.50 р., 21.78 р., 53.00 р., 25.00 р., 20.00 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (48 экз.), счз1 (4 экз.)
Свободны: аунл (44), счз1 (4)
Постоянная гиперссылка
9.
517
Ш 507


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

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


    Минский, Марвин.
    Персептроны / М. Минский, С. Пейперт ; пер.: Г. Л. Гимельфарб, В. М. Шарыпанов ; ред. пер. В. А. Ковалевский. - М. : Мир, 1971. - 261 с. : ил. - Пер. с англ. - Библиогр.: с. 245-252. -Имен. указ.: с. 253-254. -Предм. указ.: с. 255-257. - 7667.14 р.

    Коды, Ключ.слова, Доп.точки доступа
Имеются экземпляры в отделах: , аунл (2 экз.)
Свободны: аунл (2)
Постоянная гиперссылка
11.
007
О-796


    Осуга, Сэцуо.
    Обработка знаний : Пер. с япон. / С. Осуга ; пер. В. И. Этов. - М. : Мир, 1989. - 292[4] с. : ил., табл. - Предм. указ.: с. 286-290. - ISBN 5-03-000638-9 : Б. ц.

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


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

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


    Романовский, Иосиф Владимирович.
    Дискретный анализ : Учебное пособие для вузов / И. В. Романовский. - 3-е изд., перераб. и доп. - СПб. : Невский Диалект, 2004 ; СПб. : БХВ-Петербург, 2004. - 320 с. : ил. - Библиогр.: с. 311-314. - Алф. указ.: с. 315-320. - ISBN 5-7940-0114-3. - ISBN 5-94157-330-8 : 61.20 р.

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


   
    Математика и информатика : Учебное пособие для вузов / Н. Л. Стефанова [и др.] ; ред. : В. Д. Будаев, Н. Л. Стефанова. - М. : Высшая школа, 2004. - 348[3] с. : ил. - Библиогр. в конце глав. - Библиогр.: с. 337, 341. - ISBN 5-06-004395-9 : 175.23 р.

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


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/programmirovanie-matematicheskaya-logika-439066#page/1
Постоянная гиперссылка
16.
519
П 142


    Палий, Ирина Абрамовна.
    Дискретная математика и математическая логика [Электронный ресурс] : учебное пособие для вузов / И. А. Палий ; рец.: И. А. Лавров, А. Н. Гришков, Д. Н. Лавров. - 3-е изд., испр. и доп. - Электрон. текстовые дан. - М. : Юрайт, 2020. - on-line : рис., табл., граф. - (Высшее образование). - Библиогр.: с. 367-368. - ISBN 978-5-534-12446-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/diskretnaya-matematika-i-matematicheskaya-logika-447489#page/1
Постоянная гиперссылка
17.
519
Г 248


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://biblio-online.ru/viewer/diskretnaya-matematika-445753#page/1
Постоянная гиперссылка
18.
519
Е 793


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/106869/#1
Постоянная гиперссылка
19.
004
Ц 850


    Цуканова, Нина Ивановна.
    Теория и практика логического программирования на языке Visual Prolog 7 [Электронный ресурс] : учебное пособие / Н. И. Цуканова, Т. А. Дмитриева ; рец. И. В. Солодовников. - Электрон. текстовые дан. - М. : Горячая линия - Телеком, 2015. - on-line : рис., табл. - Библиогр.: с. 227. - ISBN 978-5-9912-0194-0 : Б. ц.

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://e.lanbook.com/reader/book/111113/#1
Постоянная гиперссылка
20.
004
З-143


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/iskusstvennyy-intellekt-inzheneriya-znaniy-455500#page/1
Постоянная гиперссылка
 1-20    21-38 
 
Статистика
за 01.07.2024
Число запросов 174045
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)