Логическое программирование и моделирование систем: учебное пособие

Логическое программирование и моделирование систем: учебное пособие

Dades bibliogràfiques
Autor principal:	Новосельцев В. Б. Виталий Борисович
Autor corporatiu:	Томский политехнический университет (ТПУ)
Altres autors:	Копаница Г. Д. Георгий Дмитриевич
Sumari:	В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время логического подхода. Описаны методы работы с неопределенностью и модальностью при реализации программных проектов, ориентированных на работу с распределенной когнитивной информацией. Предназначено для студентов направления 552800 - «Информатика и вычслительная техника».
Idioma:	rus
Publicat:	Томск, Изд-во ТПУ, 2008
Matèries:	логическое программирование математическая логика модальная логика логические системы структурные имплицитные модели программы Visual Prolog учебные пособия
Format:	Llibre
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=145893

Ítems similars

Логическое программирование и моделирование систем: учебное пособие
per: Новосельцев В. Б. Виталий Борисович
Publicat: (Томск, Изд-во ТПУ, 2008)

Логическое программирование на Visual Prolog 5.2 учебное пособие к лабораторным работам
per: Новиков П. В.
Publicat: (Москва, МАИ, 2023)

Экспертные системы: лабораторные работы учебное пособие
per: Бобрешов А. М.
Publicat: (Воронеж, ВГУ, 2014)

Современное логическое программирование на языке Visual Prolog 7.5: учебник
per: Марков В. Н.
Publicat: (Санкт-Петербург, БХВ-Петербург, 2016)

Логическое программирование на языке Visual Prolog: учебное пособие для вузов
per: Цуканова Н. И. Нина Ивановна
Publicat: (Москва, Горячая линия-Телеком, 2014)

Интеллектуальные информационные системы. PROLOG – язык разработки интеллектуальных и экспертных систем учебное пособие для бакалавров и магистров направлений подготовки 230400 информационные системы и технологии и 230200 информационные системы
per: Хабаров С. П.
Publicat: (Санкт-Петербург, СПбГЛТУ, 2013)

Функциональное и логическое программирование: учебное пособие
per: Озерова И. Г. Ирина Геннадьевна
Publicat: (Томск, Изд-во ТПУ, 2004)

Функциональное и логическое программирование: учебное пособие
per: Озерова И. Г. Ирина Геннадьевна
Publicat: (Томск, Изд-во ТПУ, 2005)

Теория и практика логического программирования на языке Visual Prolog 7: учебное пособие
per: Цуканова Н. И. Нина Ивановна
Publicat: (Москва, Горячая линия-Телеком, 2013)

Функциональное и логическое программирование: учебное пособие
per: Ездаков А. Л. Андрей Леонидович
Publicat: (Москва, БИНОМ. Лаборатория знаний, 2009)

Введение в логическое программирование
per: Хоггер К. Дж. Кристофер Джон
Publicat: (Москва, Мир, 1988)

Неклассические логики и лямбда-исчисление: некоторые элементы
per: Грибанов Д. В.
Publicat: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

Введение в логическое программирование на микро-прологе: пер. с англ.
per: Кларк Кейт Л.
Publicat: (Москва, Радио и связь, 1987)

Вып. 5; Логические исследования
Publicat: (1998)

Искусственный интеллект и логическое программирование / ДО 2019 (09.03.04): электронный курс
per: Марухина О. В. Ольга Владимировна
Publicat: (Томск, TPU Moodle, 2023)

Элементы неклассических логик и моделей вычислений учебно-методическое пособие
per: Малышев Д. С.
Publicat: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015)

Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
per: Малышев Д. С.
Publicat: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)

Введение в логическое программирование
per: Дженесерет М.
Publicat: (Москва, ДМК Пресс, 2022)

Логика: учебное пособие для вузов
per: Ивин А. А. Александр Архипович
Publicat: (Москва, Высшая школа, 2004)

Логический подход к искусственному интеллекту: от классической логики к логическому программированию; пер. с фр.
Publicat: (Москва, Мир, 1990)

Содержательная семантика модальной логики
per: Ивлев Ю. В. Юрий Васильевич
Publicat: (Москва, Изд-во МГУ, 1985)

Современная логика и методология науки: сборник научных статей
Publicat: (Москва, Изд-во МГУ, 1987)

Достоверный и правдоподобный вывод в интеллектуальных системах
Publicat: (Москва, Физматлит, 2004)

Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы
Publicat: (1988)

Формы логики
Publicat: (Пекин, Народное изд-во, 2005)

Модальная логика
per: Ивлев Ю. В. Юрий Васильевич
Publicat: (Москва, Изд-во МГУ, 1991)

Теория логического вывода
Publicat: (Москва, Наука, 1973)

Математика метаматематики: пер. с англ.
per: Расева Е. Елена
Publicat: (Москва, Наука, 1972)

Логика изменения и модальная логика
per: Солодухин О. А. Олег Анатольевич
Publicat: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)

Математическая логика и теория алгоритмов для программистов: учебное пособие
per: Гринченков Д. В. Дмитрий Валерьевич
Publicat: (Москва, КноРус, 2010)

Модальная логика: пер. с англ.
per: Фейс Р. Роберт
Publicat: (Москва, Наука, 1974)

Основы разработки приложений семантического Web на платформе SWI-Prolog учебное пособие для вузов
per: Пантелеев Е. Р.
Publicat: (Санкт-Петербург, Лань, 2025)

Логическое управление и технологические защиты: методические указания к практическим работам
per: Захаревич Ю. С. Юлия Сергеевна
Publicat: (Томск, Изд-во "АлКом", 2021)

Модальные и интенсиональные логики и их применение к проблемам методологии науки
Publicat: (Москва, Наука, 1984)

"Возможные миры" в философии и логике
per: Фатиев Н. И. Никита Игоревич
Publicat: (Иркутск, Изд-во Иркутского ун-та, 1993)

Логика и онтология
Publicat: (Москва, Наука, 1978)

Логика. Общий курс формальной логики: учебник для вузов
per: Грядовой Д. И. Дмитрий Иосифович
Publicat: (Москва, ЮНИТИ, 2010)

Логика норм
per: Ивин А. А. Александр Архипович
Publicat: (Москва, Изд-во Московского ун-та, 1973)

Элементы модальной логики: монография
per: Костюк В. Н. Владимир Николаевич
Publicat: (Киев, Наукова думка, 1978)

Математическая логика и теория алгоритмов для программистов: учебное пособие
per: Гринченков Д. В. Дмитрий Валерьевич
Publicat: (Москва, КноРус, 2013)