Логическое программирование и моделирование систем, учебное пособие электронный ресурс
| Main Author: | Новосельцев В. Б. Виталий Борисович |
|---|---|
| Corporate Author: | Национальный исследовательский Томский политехнический университет (ТПУ) |
| Other Authors: | Копаница Г. Д. Георгий Дмитриевич |
| Summary: | Заглавие с титульного экрана Электронная версия печатной публикации В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время логического подхода. Описаны методы работы с неопределенностью и модальностью при реализации программных проектов, ориентированных на работу с распределенной когнитивной информацией. Предназначено для студентов направления 552800 - «Информатика и вычслительная техника». Режим доступа: из корпоративной сети ТПУ |
| Language: | Russian |
| Published: |
Томск, Изд-во ТПУ, 2008
|
| Subjects: | |
| Online Access: | http://www.lib.tpu.ru/fulltext2/m/2012/m86.pdf |
| Format: | Electronic Book |
| KOHA link: | https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=210994 |
Similar Items
Логическое программирование и моделирование систем учебное пособие
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008)
Экспертные системы: лабораторные работы учебное пособие
by: Бобрешов А. М.
Published: (Воронеж, ВГУ, 2014)
by: Бобрешов А. М.
Published: (Воронеж, ВГУ, 2014)
Логическое программирование на Visual Prolog 5.2 учебное пособие к лабораторным работам
by: Новиков П. В.
Published: (Москва, МАИ, 2023)
by: Новиков П. В.
Published: (Москва, МАИ, 2023)
Логическое программирование на языке Visual Prolog учебное пособие для вузов
by: Цуканова Н. И. Нина Ивановна
Published: (Москва, Горячая линия-Телеком, 2014)
by: Цуканова Н. И. Нина Ивановна
Published: (Москва, Горячая линия-Телеком, 2014)
Современное логическое программирование на языке Visual Prolog 7.5 учебник
by: Марков В. Н.
Published: (Санкт-Петербург, БХВ-Петербург, 2016)
by: Марков В. Н.
Published: (Санкт-Петербург, БХВ-Петербург, 2016)
Интеллектуальные информационные системы. PROLOG – язык разработки интеллектуальных и экспертных систем учебное пособие для бакалавров и магистров направлений подготовки 230400 информационные системы и технологии и 230200 информационные системы
by: Хабаров С. П.
Published: (Санкт-Петербург, СПбГЛТУ, 2013)
by: Хабаров С. П.
Published: (Санкт-Петербург, СПбГЛТУ, 2013)
Функциональное и логическое программирование учебное пособие
by: Озерова И. Г. Ирина Геннадьевна
Published: (Томск, Изд-во ТПУ, 2005)
by: Озерова И. Г. Ирина Геннадьевна
Published: (Томск, Изд-во ТПУ, 2005)
Функциональное и логическое программирование учебное пособие
by: Ездаков А. Л. Андрей Леонидович
Published: (Москва, БИНОМ. Лаборатория знаний, 2009)
by: Ездаков А. Л. Андрей Леонидович
Published: (Москва, БИНОМ. Лаборатория знаний, 2009)
Теория и практика логического программирования на языке Visual Prolog 7 учебное пособие
by: Цуканова Н. И. Нина Ивановна
Published: (Москва, Горячая линия-Телеком, 2013)
by: Цуканова Н. И. Нина Ивановна
Published: (Москва, Горячая линия-Телеком, 2013)
Введение в логическое программирование
by: Хоггер К. Дж. Кристофер Джон
Published: (Москва, Мир, 1988)
by: Хоггер К. Дж. Кристофер Джон
Published: (Москва, Мир, 1988)
Неклассические логики и лямбда-исчисление: некоторые элементы
by: Грибанов Д. В.
Published: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)
by: Грибанов Д. В.
Published: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)
Искусственный интеллект и логическое программирование / ДО 2019 (09.03.04) электронный курс
by: Марухина О. В. Ольга Владимировна
Published: (Томск, TPU Moodle, 2023)
by: Марухина О. В. Ольга Владимировна
Published: (Томск, TPU Moodle, 2023)
Введение в логическое программирование на микро-прологе пер. с англ.
by: Кларк Кейт Л.
Published: (Москва, Радио и связь, 1987)
by: Кларк Кейт Л.
Published: (Москва, Радио и связь, 1987)
Элементы неклассических логик и моделей вычислений учебно-методическое пособие
by: Малышев Д. С.
Published: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015)
by: Малышев Д. С.
Published: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015)
Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
by: Малышев Д. С.
Published: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)
by: Малышев Д. С.
Published: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)
Введение в логическое программирование
by: Дженесерет М.
Published: (Москва, ДМК Пресс, 2022)
by: Дженесерет М.
Published: (Москва, ДМК Пресс, 2022)
Логический подход к искусственному интеллекту от классической логики к логическому программированию пер. с фр.
Published: (Москва, Мир, 1990)
Published: (Москва, Мир, 1990)
Содержательная семантика модальной логики
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1985)
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1985)
Современная логика и методология науки сборник научных статей
Published: (Москва, Изд-во МГУ, 1987)
Published: (Москва, Изд-во МГУ, 1987)
Формы логики
Published: (Пекин, Народное изд-во, 2005)
Published: (Пекин, Народное изд-во, 2005)
Вып. 124 : Языки спецификаций и логическое программирование
Published: (1988)
Published: (1988)
Теория логического вывода
Published: (Москва, Наука, 1973)
Published: (Москва, Наука, 1973)
Модальная логика
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1991)
by: Ивлев Ю. В. Юрий Васильевич
Published: (Москва, Изд-во МГУ, 1991)
Математика метаматематики пер. с англ.
by: Расева Е. Елена
Published: (Москва, Наука, 1972)
by: Расева Е. Елена
Published: (Москва, Наука, 1972)
Логика изменения и модальная логика
by: Солодухин О. А. Олег Анатольевич
Published: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)
by: Солодухин О. А. Олег Анатольевич
Published: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)
Основы разработки приложений семантического Web на платформе SWI-Prolog учебное пособие для вузов
by: Пантелеев Е. Р.
Published: (Санкт-Петербург, Лань, 2025)
by: Пантелеев Е. Р.
Published: (Санкт-Петербург, Лань, 2025)
Логическое управление и технологические защиты методические указания к практическим работам
by: Захаревич Ю. С. Юлия Сергеевна
Published: (Томск, Изд-во "АлКом", 2021)
by: Захаревич Ю. С. Юлия Сергеевна
Published: (Томск, Изд-во "АлКом", 2021)
Математическая логика и теория алгоритмов для программистов учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2010)
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2010)
Модальные и интенсиональные логики и их применение к проблемам методологии науки
Published: (Москва, Наука, 1984)
Published: (Москва, Наука, 1984)
Логика. Общий курс формальной логики учебник для вузов
by: Грядовой Д. И. Дмитрий Иосифович
Published: (Москва, ЮНИТИ, 2010)
by: Грядовой Д. И. Дмитрий Иосифович
Published: (Москва, ЮНИТИ, 2010)
Логика и онтология
Published: (Москва, Наука, 1978)
Published: (Москва, Наука, 1978)
Логика норм
by: Ивин А. А. Александр Архипович
Published: (Москва, Изд-во Московского ун-та, 1973)
by: Ивин А. А. Александр Архипович
Published: (Москва, Изд-во Московского ун-та, 1973)
Математическая логика и теория алгоритмов для программистов учебное пособие
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2013)
by: Гринченков Д. В. Дмитрий Валерьевич
Published: (Москва, КноРус, 2013)
Математическая логика учебник
by: Никольская И. Л. Инна Львовна
Published: (Москва, Высшая школа, 1981)
by: Никольская И. Л. Инна Львовна
Published: (Москва, Высшая школа, 1981)
Обольстить логикой. Выводы на все случаи жизни
by: Дрёссер К. Кристоф
Published: (Москва, Лаборатория знаний, 2025)
by: Дрёссер К. Кристоф
Published: (Москва, Лаборатория знаний, 2025)
Элементы модальной логики монография
by: Костюк В. Н. Владимир Николаевич
Published: (Киев, Наукова думка, 1978)
by: Костюк В. Н. Владимир Николаевич
Published: (Киев, Наукова думка, 1978)
Непрерывная логика (история, результаты, библиография) монография
by: Левин В. И. Виталий Ильич
Published: (Пенза, Изд-во Пензенской гос. технологической академии, 2008)
by: Левин В. И. Виталий Ильич
Published: (Пенза, Изд-во Пензенской гос. технологической академии, 2008)
Понятие объекта в модальной логике
by: Целищев В. В. Виталий Валентинович
Published: (Новосибирск, Наука, 1978)
by: Целищев В. В. Виталий Валентинович
Published: (Новосибирск, Наука, 1978)
Предметная область в логической семантике монография
by: Бессонов А. В. Александр Владимирович
Published: (Новосибирск, Наука, 1985)
by: Бессонов А. В. Александр Владимирович
Published: (Новосибирск, Наука, 1985)
Логическое программирование сборник статей пер. с англ. и фр.
Published: (Москва, Мир, 1988)
Published: (Москва, Мир, 1988)
Similar Items
-
Логическое программирование и моделирование систем учебное пособие
by: Новосельцев В. Б. Виталий Борисович
Published: (Томск, Изд-во ТПУ, 2008) -
Экспертные системы: лабораторные работы учебное пособие
by: Бобрешов А. М.
Published: (Воронеж, ВГУ, 2014) -
Логическое программирование на Visual Prolog 5.2 учебное пособие к лабораторным работам
by: Новиков П. В.
Published: (Москва, МАИ, 2023) -
Логическое программирование на языке Visual Prolog учебное пособие для вузов
by: Цуканова Н. И. Нина Ивановна
Published: (Москва, Горячая линия-Телеком, 2014) -
Современное логическое программирование на языке Visual Prolog 7.5 учебник
by: Марков В. Н.
Published: (Санкт-Петербург, БХВ-Петербург, 2016)