Фундаментальная библиотека ФГБОУ ВО СПХФУ Минздрава России

Версия для слабовидящих: Вкл Выкл Изображения: Вкл Выкл Размер шрифта: A A A Цветовая схема: A A A A

Главная

ИРБИС64+

Упрощенный режим

Описание

Базы данных

ЭБС IPRBooks- результаты поиска

Вид поиска

Электронный каталог

Картотека журнальных статей

Систематический имидж-каталог

Авторефераты диссертаций

Учебники и учебно-методические пособия СПХФУ

ЭБС IPRBooks

ЭБС Консультант студента

ЭБС Юрайт

Диссертации, защищенные в СПХФУ

Журнальный фонд СПХФУ

Библиотечный фонд техникума

ВКР

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

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

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

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

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

IPRBooks-79710

79710

Ефимова, Е. А.
Основы программирования на языке Visual Prolog [Электронный ресурс] : учебное пособие / Ефимова Е. А. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Эр Медиа, 2019. - 265 с. - ISBN 978-5-4486-0517-8 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.97

Кл.слова (ненормированные):
visual prolog -- логическое программирование -- управление перебором -- язык запросов -- язык пролог
Аннотация: В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы. Курс предназначен для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, интересующихся практическим использованием логического программирования.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-73716

73716

Сотник, С. Л.
Проектирование систем искусственного интеллекта [Электронный ресурс] : учебное пособие / Сотник С. Л. - Москва : Интернет-Университет Информационных Технологий (ИНТУИТ), 2016. - 228 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
искусственный интеллект -- приложение -- проектирование -- технология -- язык
Аннотация: Курс посвящен рассмотрению базовых понятий систем искусственного интеллекта. В курсе рассматривается архитектура систем искусственного интеллекта, системы распознавания образов, вопросы адаптации, обучения и самообучения систем ИИ, персептроны, методы и алгоритмы анализа структуры многомерных данных, неформальные процедуры, алгоритмические модели, основы языков РЕФАЛ и Пролог, ключевые понятия бинарных деревьев, базовые понятия экспертных систем, автоматизированный синтез, поиск физических принципов действия, методы синтеза речи человека.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-71596

71596

Козырева, Г. Ф.
Функциональное и логическое программирование [Электронный ресурс] : учебно-методическое пособие / Козырева Г. Ф. - Саратов : Ай Пи Эр Медиа, 2018. - 120 с. - ISBN 978-5-4486-0122-4 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.42

ББК 32.97

Кл.слова (ненормированные):
visual prolog -- логическое программирование -- реализация рекурсии -- среда drracket -- среда пролог -- формализованное описание -- функциональное программирование -- язык racket -- язык программирования
Аннотация: Рассматривается краткий теоретический материал, типовые задачи и контрольные задания по курсу «Функциональное и логическое программирование». Пособие может быть использовано при организации самостоятельной работы студентов по выполнению заданий в среде Visual Prolog и среде DrRacket. Учебно-методическое пособие предназначено для студентов, обучающихся по направлениям «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование». Может быть полезно учителям средних образовательных учреждений при проведении элективных курсов данного направления, а также всем, кто интересуется вопросами функционального и логического программирования. Учебно-методическое пособие соответствует ФГОС ВО для бакалавров по дисциплинам «Функциональное и логическое программирование», «Интеллектуальные информационные системы» направлений обучения «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-66314

66314

Новиков, П. В.
Логическое программирование [Электронный ресурс] : учебно-методическое пособие к лабораторным работам / Новиков П. В. - Саратов : Вузовское образование, 2017. - 103 с. - ISBN 978-5-4487-0010-1 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004.4

ББК 32.97

Кл.слова (ненормированные):
доменная структура -- логическая программа -- логическое программирование -- металогический предикат -- пролог -- язык программирования
Аннотация: В пособии описаны все основные синтаксические конструкции языка логического программирования ПРОЛОГ, даны теоретические разъяснения особенностей логического программирования, приведены примеры логических программ, представлены разнообразные варианты задач и упражнений на составление ПРОЛОГ-программ различной трудности. Пособие предназначено для студентов специальностей «Программное обеспечение вычислительной техники и автоматизированных систем», «Программная инженерия», «Вычислительная техника, системы, комплексы и сети», а также для всех изучающих программирование. Знакомство с основными принципами логического программирования расширяет кругозор и существенно повышает квалификацию программиста.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-55464

55464

Галкина, М. Ю.
Функциональное и логическое программирование [Электронный ресурс] : практикум / Галкина М. Ю. - Новосибирск : Сибирский государственный университет телекоммуникаций и информатики, 2008. - 107 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

681.3

ББК 32.97

Кл.слова (ненормированные):
логическое программирование -- турбо-пролог -- функциональное программирование -- язык лисп -- язык программирования -- язык пролог
Аннотация: Практикум предназначен для студентов четвертого курса факультета ИВТ, изучающих курс «Функциональное и логическое программирование». Практикум содержит курс лекций, индивидуальное домашнее задание. Для специальности 230105 – «Программное обеспечение вычислительной техники и автоматизированных систем».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-22048

22048

Прыкина, Е. Н.
Основы логического программирования в среде Турбо Пролог [Электронный ресурс] : учебное пособие по курсу «Экспертные системы» / Прыкина Е. Н. - Кемерово : Кемеровский государственный институт культуры, 2006. - 68 с. - ISBN 5-8154-0130-7 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.973

Кл.слова (ненормированные):
информационная сфера -- логическое программирование -- прикладная информатика -- программирование -- среда -- турбо пролог
Аннотация: В пособии Е.Н. Прыкиной, кандидата физико-математических наук, доцента кафедры ТАОИ, рассматриваются основные методы логического программирования. Рекомендуется студентам специальностей «Прикладная информатика (в информационной сфере)», «Прикладная информатика (в социально-культурной сфере)».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-89426

89426

Барский, А. Б.
Введение в нейронные сети [Электронный ресурс] : учебное пособие / Барский А. Б. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 357 с. - ISBN 978-5-4497-0309-5 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.81

Кл.слова (ненормированные):
логическая сеть -- логическое программирование -- математическая логика -- нейронная сеть -- нейросетевая модель -- нейросетевая технология -- принятие решения -- распознавание объекта -- трехмерное моделирование -- язык пролог
Аннотация: Главной целью данного учебного пособия является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта — распознавания, управления и принятия решений — во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку — обучение при заданной структуре сети.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-89458

89458

Шрайнер, П. А.
Основы программирования на языке Пролог [Электронный ресурс] : учебное пособие / Шрайнер П. А. - Москва, Саратов : Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020. - 212 с. - ISBN 978-5-4497-0343-9 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

004

ББК 32.97

Кл.слова (ненормированные):
pdc пролог -- алгоритм унификации -- декларативное программирование -- искусственный интеллект -- логическое программирование -- программирование -- рекурсия -- терм -- турбо пролог -- язык пролог
Аннотация: Учебное пособие посвящено изучению основ языка логического программирования Пролог. Общие принципы программирования на Прологе изучаются всюду без привязки к конкретной реализации. При выполнении практических заданий предполагается использование Турбо Пролог или PDC Пролог. На взгляд автора, это наиболее используемые и распространенные версии Пролога у нас в стране. Кроме всего прочего, эти версии не предъявляют практически никаких требований к аппаратной части компьютера.

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

IPRBooks-99263

99263

Хворостухина, Е. В.
Математическая логика [Электронный ресурс] : учебное пособие / Хворостухина Е. В. - Саратов : Саратовский государственный технический университет имени Ю.А. Гагарина, ЭБС АСВ, 2018. - 63 с. - ISBN 978-5-7433-3238-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

510.6

ББК 22.12

Кл.слова (ненормированные):
логика -- математика -- метод резолюций -- равносильные формулы -- теория множеств
Аннотация: В учебном пособии излагаются основы математической логики. Здесь содержится материал по теории множеств, алгебре высказываний, алгебре предикатов, формальным исчислениям и аксиоматическим теориям первого порядка. Описывается метод резолюций, служащий для автоматического доказательства теорем, приводятся основы написания программ на языке логического программирования Пролог. В конце каждого раздела приводится список вопросов и заданий для самостоятельной работы. Учебное пособие предназначено для студентов бакалавриата по направлениям подготовки 09.03.01 «Информатика и вычислительная техника» и 09.03.04 «Программная инженерия».

(для доступа требуется авторизация)

Свободных экз. нет
Найти похожие

Тематический навигатор

Статистика обращений

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

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