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

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

Detaylı Bibliyografya
Yazar:	Новосельцев В. Б. Виталий Борисович
Müşterek Yazar:	Томский политехнический университет (ТПУ)
Diğer Yazarlar:	Копаница Г. Д. Георгий Дмитриевич
Özet:	В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время логического подхода. Описаны методы работы с неопределенностью и модальностью при реализации программных проектов, ориентированных на работу с распределенной когнитивной информацией. Предназначено для студентов направления 552800 - «Информатика и вычслительная техника».
Dil:	Rusça
Baskı/Yayın Bilgisi:	Томск, Изд-во ТПУ, 2008
Konular:	логическое программирование математическая логика модальная логика логические системы структурные имплицитные модели программы Visual Prolog учебные пособия
Materyal Türü:	Kitap
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=145893

Benzer Materyaller

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

Логическое программирование на Visual Prolog 5.2 учебное пособие к лабораторным работам
Yazar:: Новиков П. В.
Baskı/Yayın Bilgisi: (Москва, МАИ, 2023)

Экспертные системы: лабораторные работы учебное пособие
Yazar:: Бобрешов А. М.
Baskı/Yayın Bilgisi: (Воронеж, ВГУ, 2014)

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

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

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

Функциональное и логическое программирование: учебное пособие
Yazar:: Озерова И. Г. Ирина Геннадьевна
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 2004)

Функциональное и логическое программирование: учебное пособие
Yazar:: Озерова И. Г. Ирина Геннадьевна
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 2005)

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

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

Введение в логическое программирование
Yazar:: Хоггер К. Дж. Кристофер Джон
Baskı/Yayın Bilgisi: (Москва, Мир, 1988)

Неклассические логики и лямбда-исчисление: некоторые элементы
Yazar:: Грибанов Д. В.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)

Введение в логическое программирование на микро-прологе: пер. с англ.
Yazar:: Кларк Кейт Л.
Baskı/Yayın Bilgisi: (Москва, Радио и связь, 1987)

Вып. 5; Логические исследования
Baskı/Yayın Bilgisi: (1998)

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

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

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

Введение в логическое программирование
Yazar:: Дженесерет М.
Baskı/Yayın Bilgisi: (Москва, ДМК Пресс, 2022)

Логика: учебное пособие для вузов
Yazar:: Ивин А. А. Александр Архипович
Baskı/Yayın Bilgisi: (Москва, Высшая школа, 2004)

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

Содержательная семантика модальной логики
Yazar:: Ивлев Ю. В. Юрий Васильевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1985)

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

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

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

Формы логики
Baskı/Yayın Bilgisi: (Пекин, Народное изд-во, 2005)

Модальная логика
Yazar:: Ивлев Ю. В. Юрий Васильевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1991)

Теория логического вывода
Baskı/Yayın Bilgisi: (Москва, Наука, 1973)

Математика метаматематики: пер. с англ.
Yazar:: Расева Е. Елена
Baskı/Yayın Bilgisi: (Москва, Наука, 1972)

Логика изменения и модальная логика
Yazar:: Солодухин О. А. Олег Анатольевич
Baskı/Yayın Bilgisi: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)

Математическая логика и теория алгоритмов для программистов: учебное пособие
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2010)

Модальная логика: пер. с англ.
Yazar:: Фейс Р. Роберт
Baskı/Yayın Bilgisi: (Москва, Наука, 1974)

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

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

Модальные и интенсиональные логики и их применение к проблемам методологии науки
Baskı/Yayın Bilgisi: (Москва, Наука, 1984)

"Возможные миры" в философии и логике
Yazar:: Фатиев Н. И. Никита Игоревич
Baskı/Yayın Bilgisi: (Иркутск, Изд-во Иркутского ун-та, 1993)

Логика и онтология
Baskı/Yayın Bilgisi: (Москва, Наука, 1978)

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

Логика норм
Yazar:: Ивин А. А. Александр Архипович
Baskı/Yayın Bilgisi: (Москва, Изд-во Московского ун-та, 1973)

Элементы модальной логики: монография
Yazar:: Костюк В. Н. Владимир Николаевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1978)

Математическая логика и теория алгоритмов для программистов: учебное пособие
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2013)