Авторизация
 

Базы данных


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

Вид поиска

Область поиска
в найденном
 Найдено в других БД:Основная база библиотеки (38)
Формат представления найденных документов:
полныйдля рабочих программ
Отсортировать найденные документы по:
авторузаглавиюгоду изданиятипу документа
Поисковый запрос: (<.>K=предикаты<.>)
Общее количество найденных документов : 38
Показаны документы с 1 по 20
 1-20    21-38 
1.
51
В 399


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/matematika-logika-mnozhestva-kombinatorika-454362#page/1
Постоянная гиперссылка
2.
004
Н 731


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/simvolicheskiy-iskusstvennyy-intellekt-matematicheskie-osnovy-predstavleniya-znaniy-451447#page/1
Постоянная гиперссылка
3.
004
И 203


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/intellektualnye-sistemy-453212#page/1
Постоянная гиперссылка
4.
510
Ж 911


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

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


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/intellektualnye-sistemy-452226#page/1
Постоянная гиперссылка
6.
004
Б 535


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/sistemy-iskusstvennogo-intellekta-451721#page/1
Постоянная гиперссылка
7.
519
Г 248


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

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


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

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


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

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


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/iskusstvennyy-intellekt-inzheneriya-znaniy-455500#page/1
Постоянная гиперссылка
11.
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
Постоянная гиперссылка
12.
510
П 784


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

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


   Болотова, Людмила Сергеевна

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

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


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/292256#1
Постоянная гиперссылка
15.
519
Р 935


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/193326#1
Постоянная гиперссылка
16.
512
В 240


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/276662#1
Постоянная гиперссылка
17.
811.111
Б 732


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/320918#1
Постоянная гиперссылка
18.
519
Г 516


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://urait.ru/viewer/diskretnaya-matematika-531659#page/1
Постоянная гиперссылка
19.
519
Б 125


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

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


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

    Коды, Ключ.слова, Доп.точки доступа
Перейти к внешнему ресурсу https://reader.lanbook.com/book/167753#1
Постоянная гиперссылка
 1-20    21-38 
 
Статистика
за 21.08.2024
Число запросов 52397
Число заказов 0
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)