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

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

Dettagli Bibliografici
Autore principale:	Новосельцев В. Б. Виталий Борисович
Ente Autore:	Томский политехнический университет (ТПУ)
Altri autori:	Копаница Г. Д. Георгий Дмитриевич
Riassunto:	В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время логического подхода. Описаны методы работы с неопределенностью и модальностью при реализации программных проектов, ориентированных на работу с распределенной когнитивной информацией. Предназначено для студентов направления 552800 - «Информатика и вычслительная техника».
Lingua:	russo
Pubblicazione:	Томск, Изд-во ТПУ, 2008
Soggetti:	логическое программирование математическая логика модальная логика логические системы структурные имплицитные модели программы Visual Prolog учебные пособия
Natura:	Libro
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=145893

Documenti analoghi

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Математическая логика учебник
di: Никольская И. Л. Инна Львовна
Pubblicazione: (Москва, Высшая школа, 1981)

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

Обольстить логикой. Выводы на все случаи жизни
di: Дрёссер К. Кристоф
Pubblicazione: (Москва, Лаборатория знаний, 2025)

Предметная область в логической семантике монография
di: Бессонов А. В. Александр Владимирович
Pubblicazione: (Новосибирск, Наука, 1985)

Понятие объекта в модальной логике
di: Целищев В. В. Виталий Валентинович
Pubblicazione: (Новосибирск, Наука, 1978)

Непрерывная логика (история, результаты, библиография) монография
di: Левин В. И. Виталий Ильич
Pubblicazione: (Пенза, Изд-во Пензенской гос. технологической академии, 2008)

Логические нейронные сети учебное пособие
di: Барский А. Б. Аркадий Бенционович
Pubblicazione: (Москва, БИНОМ. Лаборатория знаний, 2007)