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

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

Главная

ИРБИС64+

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

Описание

Базы данных

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

Вид поиска

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

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

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

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

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

ЭБС IPRBooks

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

ЭБС Юрайт

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

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

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

ВКР

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

в найденном

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

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

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

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

1-10 11-11

Вид документа : Однотомное издание
Шифр издания : 79710
Автор(ы) : Ефимова Е. А.
Заглавие : Основы программирования на языке Visual Prolog
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Эр Медиа, 2019
Колич.характеристики :265 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0517-8: Б.ц.
УДК : 004
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): visual prolog--логическое программирование--управление перебором--язык запросов--язык пролог
Аннотация: В курсе изучается логическое программирование и язык Пролог. В качестве реализации языка Пролог используется современная версия языка Visual Prolog. Предназначен для начинающих. Рассматриваются основные теоретические понятия логического программирования, а также приемы и методы программирования на языке Пролог. Изучаются основы программирования на языке Visual Prolog 7.x. Изложение сопровождается большим количеством примеров программ. Приводятся списки упражнений для самостоятельной работы. Курс предназначен для студентов, специализирующихся в области информационных технологий, прикладной математики и информатики, программной инженерии, разработки и анализа интеллектуальных систем, программистов и всех, интересующихся практическим использованием логического программирования.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 71596
Автор(ы) : Козырева Г. Ф.
Заглавие : Функциональное и логическое программирование : Учебно-методическое пособие
Выходные данные : Саратов: Ай Пи Эр Медиа, 2018
Колич.характеристики :120 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4486-0122-4: Б.ц.
УДК : 004.42
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): visual prolog--логическое программирование--реализация рекурсии--среда drracket--среда пролог--формализованное описание--функциональное программирование--язык racket--язык программирования
Аннотация: Рассматривается краткий теоретический материал, типовые задачи и контрольные задания по курсу «Функциональное и логическое программирование». Пособие может быть использовано при организации самостоятельной работы студентов по выполнению заданий в среде Visual Prolog и среде DrRacket. Учебно-методическое пособие предназначено для студентов, обучающихся по направлениям «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование». Может быть полезно учителям средних образовательных учреждений при проведении элективных курсов данного направления, а также всем, кто интересуется вопросами функционального и логического программирования. Учебно-методическое пособие соответствует ФГОС ВО для бакалавров по дисциплинам «Функциональное и логическое программирование», «Интеллектуальные информационные системы» направлений обучения «Информатика и вычислительная техника», «Прикладная информатика», образовательной программы «Информатика» направления «Педагогическое образование».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 66314
Автор(ы) : Новиков П. В.
Заглавие : Логическое программирование : Учебно-методическое пособие к лабораторным работам
Выходные данные : Саратов: Вузовское образование, 2017
Колич.характеристики :103 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4487-0010-1: Б.ц.
УДК : 004.4
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): доменная структура--логическая программа--логическое программирование--металогический предикат--пролог--язык программирования
Аннотация: В пособии описаны все основные синтаксические конструкции языка логического программирования ПРОЛОГ, даны теоретические разъяснения особенностей логического программирования, приведены примеры логических программ, представлены разнообразные варианты задач и упражнений на составление ПРОЛОГ-программ различной трудности. Пособие предназначено для студентов специальностей «Программное обеспечение вычислительной техники и автоматизированных систем», «Программная инженерия», «Вычислительная техника, системы, комплексы и сети», а также для всех изучающих программирование. Знакомство с основными принципами логического программирования расширяет кругозор и существенно повышает квалификацию программиста.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 61489
Заглавие : Практикум по дисциплине Логическое и функциональное программирование
Выходные данные : Москва: Московский технический университет связи и информатики, 2016
Колич.характеристики :16 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): логическое программирование--функциональное программирование--эвм
Аннотация: При использовании ЭВМ для решения задач можно выделить два взаимосвязанных способа представления знания: 1) процедурное представление, т.е. определение алгоритма обработки данных; 2) декларативное представление, т.е. определение отдельных понятий, их состояния в конкретные моменты времени и связей между ними.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 61490
Заглавие : Учебно-методическое пособие по дисциплине Логическое и функциональное программирование
Выходные данные : Москва: Московский технический университет связи и информатики, 2016
Колич.характеристики :23 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 00
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): логическое программирование--функциональное программирование--эвм
Аннотация: Дисциплина «Логическое и функциональное программирование» занимает одно из центральных мест в цикле общепрофессиональных дисциплин, определяющих уровень подготовки студентов по направлению 230100 – Информатика и вычислительная техника.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 8091
Автор(ы) : Жоль К. К.
Заглавие : Логика : Учебное пособие для вузов
Выходные данные : Москва: ЮНИТИ-ДАНА, 2012
Колич.характеристики :400 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-238-00664-0: Б.ц.
УДК : 16(075.8)
ББК : 87.4я73
Ключевые слова (''Своб.индексиров.''): классическая логика--логика--логическая семантика--логическое исследование--логическое программирование--математическая логика--символическая логика--учебное пособие
Аннотация: Дается изложение важнейших понятий, идей и методов современной символической логики, являющейся расширением математической логики. В общедоступной форме объясняются смысл и предметная направленность логических исследований, их связь с философией, кибернетикой и другими науками. Впервые в одной книге, имеющей характер учебного пособия, рассчитанного не только на студентов первых курсов вузов и колледжей и старшеклассников, а также всех, кто серьезно интересуется логикой и хочет иметь ясные представления о ней, излагаются не только основы классической логики, но и описываются неклассические логики, в отдельной главе дается характеристика логической семантики и демонстрируется практическая ценность логики для решения проблем, связанных с логическим программированием компьютеров.
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 55464
Автор(ы) : Галкина М. Ю.
Заглавие : Функциональное и логическое программирование : Практикум
Выходные данные : Новосибирск: Сибирский государственный университет телекоммуникаций и информатики, 2008
Колич.характеристики :107 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
Цена : Б.ц.
УДК : 681.3
ББК : 32.97
Ключевые слова (''Своб.индексиров.''): логическое программирование--турбо-пролог--функциональное программирование--язык лисп--язык программирования--язык пролог
Аннотация: Практикум предназначен для студентов четвертого курса факультета ИВТ, изучающих курс «Функциональное и логическое программирование». Практикум содержит курс лекций, индивидуальное домашнее задание. Для специальности 230105 – «Программное обеспечение вычислительной техники и автоматизированных систем».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 22048
Автор(ы) : Прыкина Е. Н.
Заглавие : Основы логического программирования в среде Турбо Пролог : Учебное пособие по курсу «Экспертные системы»
Выходные данные : Кемерово: Кемеровский государственный институт культуры, 2006
Колич.характеристики :68 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 5-8154-0130-7: Б.ц.
УДК : 50
ББК : 32.973
Ключевые слова (''Своб.индексиров.''): информационная сфера--логическое программирование--прикладная информатика--программирование--среда--турбо пролог
Аннотация: В пособии Е.Н. Прыкиной, кандидата физико-математических наук, доцента кафедры ТАОИ, рассматриваются основные методы логического программирования. Рекомендуется студентам специальностей «Прикладная информатика (в информационной сфере)», «Прикладная информатика (в социально-культурной сфере)».
(для доступа требуется авторизация)

Найти похожие

Вид документа : Однотомное издание
Шифр издания : 89426
Автор(ы) : Барский А. Б.
Заглавие : Введение в нейронные сети : Учебное пособие
Выходные данные : Москва, Саратов: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :357 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0309-5: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): логическая сеть--логическое программирование--математическая логика--нейронная сеть--нейросетевая модель--нейросетевая технология--принятие решения--распознавание объекта--трехмерное моделирование--язык пролог
Аннотация: Главной целью данного учебного пособия является демонстрация и внедрение универсального подхода, способного вывести проблему нейронных сетей с уровня частного применения на уровень массового использования практически во всех областях знаний, где требуется логически обосновать принимаемое решение. Утверждается, что самый простой подход к построению нейронных сетей на основе реализуемой нейроном «нечёткой» логики (логических нейронных сетей), продиктован практикой ясного мышления человека. Этот подход приводит к построению всего лишь однослойных нейронных сетей с простейшей функцией активации нейрона, при необходимости дополненных обратными связями. На основе положений математической логики событий исследуются нейронные сети, имитирующие механизмы работы мозга. Эти механизмы реализуют операции вывода по «нечеткой» логике в составе систем искусственного интеллекта — распознавания, управления и принятия решений — во всех областях человеческой деятельности. Рассмотрение многих примеров демонстрирует простейший подход к построению и развитию обученных нейронных сетей «под задачу», а также трассировку — обучение при заданной структуре сети.
(для доступа требуется авторизация)

Найти похожие

10.

Вид документа : Однотомное издание
Шифр издания : 97547
Автор(ы) : Барский А. Б.
Заглавие : Логические нейронные сети : Учебное пособие
Выходные данные : Москва: Интернет-Университет Информационных Технологий (ИНТУИТ), Ай Пи Ар Медиа, 2020
Колич.характеристики :491 с
Примечания : Книга находится в Премиум-версии ЭБС IPRbooks.
ISBN, Цена 978-5-4497-0661-4: Б.ц.
УДК : 004
ББК : 32.81
Ключевые слова (''Своб.индексиров.''): искусственный интеллект--логическая сеть--логическое программирование--математическая логика--нейронная сеть--нейросетевая технология--самообучающаяся система--система управления--структура нейросети
Аннотация: В учебном пособии на основе положений математической логики событий исследуется возможность построения логических нейронных сетей, выполняющих операции вывода в составе систем искусственного интеллекта, имитирующих механизмы работы мозга. Предлагаются методы построения обученных нейронных сетей, созданных «под задачу», простые методы обучения-трассировки, методы преобразования описаний систем принятия решений для повышения достоверности выводов. Рассматривается возможность применения логических нейронных сетей в самообучающихся системах управления, а также в различных системах экономики, транспорта, безопасности, защиты информации, при решении задач интеллектуального отображения, в бизнесе туризма и развлечений, при политическом и социальном прогнозировании и в других задачах науки и искусства.
(для доступа требуется авторизация)

1-10 11-11

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

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

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

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