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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

1-10 11-11

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-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-61489

61489

Практикум по дисциплине Логическое и функциональное программирование [Электронный ресурс] / сост. А. С. Доткулова. - Москва : Московский технический университет связи и информатики, 2016. - 16 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
логическое программирование -- функциональное программирование -- эвм
Аннотация: При использовании ЭВМ для решения задач можно выделить два взаимосвязанных способа представления знания: 1) процедурное представление, т.е. определение алгоритма обработки данных; 2) декларативное представление, т.е. определение отдельных понятий, их состояния в конкретные моменты времени и связей между ними.

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

Доп.точки доступа:
Доткулова, А. С. \сост.\
Свободных экз. нет
Найти похожие

IPRBooks-61490

61490

Учебно-методическое пособие по дисциплине Логическое и функциональное программирование [Электронный ресурс] / сост.: М. В. Яшина, В. В. Барков. - Москва : Московский технический университет связи и информатики, 2016. - 23 с. - Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

ББК 32.97

Кл.слова (ненормированные):
логическое программирование -- функциональное программирование -- эвм
Аннотация: Дисциплина «Логическое и функциональное программирование» занимает одно из центральных мест в цикле общепрофессиональных дисциплин, определяющих уровень подготовки студентов по направлению 230100 – Информатика и вычислительная техника.

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

Доп.точки доступа:
Яшина, М. В. \сост.\; Барков, В. В. \сост.\
Свободных экз. нет
Найти похожие

IPRBooks-8091

8091

Жоль, К. К.
Логика [Электронный ресурс] : учебное пособие для вузов / Жоль К. К. - Москва : ЮНИТИ-ДАНА, 2012. - 400 с. - ISBN 5-238-00664-0 : Б. ц.
Книга находится в Премиум-версии ЭБС IPRbooks.
Режим доcтупа:

УДК

16(075.8)

ББК 87.4я73

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

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

Доп.точки доступа:
Конферский, А. Е. \ред.\
Свободных экз. нет
Найти похожие

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

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

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

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

10.

IPRBooks-97547

97547

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

УДК

004

ББК 32.81

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

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

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

1-10 11-11

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

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

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

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