Логическое программирование и моделирование систем: учебное пособие
| Yazar: | Новосельцев В. Б. Виталий Борисович |
|---|---|
| Müşterek Yazar: | Томский политехнический университет (ТПУ) |
| Diğer Yazarlar: | Копаница Г. Д. Георгий Дмитриевич |
| Özet: | В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время логического подхода. Описаны методы работы с неопределенностью и модальностью при реализации программных проектов, ориентированных на работу с распределенной когнитивной информацией. Предназначено для студентов направления 552800 - «Информатика и вычслительная техника». |
| Dil: | Rusça |
| Baskı/Yayın Bilgisi: |
Томск, Изд-во ТПУ, 2008
|
| Konular: | |
| 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)
Yazar:: Новосельцев В. Б. Виталий Борисович
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 2008)
Логическое программирование на Visual Prolog 5.2 учебное пособие к лабораторным работам
Yazar:: Новиков П. В.
Baskı/Yayın Bilgisi: (Москва, МАИ, 2023)
Yazar:: Новиков П. В.
Baskı/Yayın Bilgisi: (Москва, МАИ, 2023)
Экспертные системы: лабораторные работы учебное пособие
Yazar:: Бобрешов А. М.
Baskı/Yayın Bilgisi: (Воронеж, ВГУ, 2014)
Yazar:: Бобрешов А. М.
Baskı/Yayın Bilgisi: (Воронеж, ВГУ, 2014)
Современное логическое программирование на языке Visual Prolog 7.5: учебник
Yazar:: Марков В. Н.
Baskı/Yayın Bilgisi: (Санкт-Петербург, БХВ-Петербург, 2016)
Yazar:: Марков В. Н.
Baskı/Yayın Bilgisi: (Санкт-Петербург, БХВ-Петербург, 2016)
Логическое программирование на языке Visual Prolog: учебное пособие для вузов
Yazar:: Цуканова Н. И. Нина Ивановна
Baskı/Yayın Bilgisi: (Москва, Горячая линия-Телеком, 2014)
Yazar:: Цуканова Н. И. Нина Ивановна
Baskı/Yayın Bilgisi: (Москва, Горячая линия-Телеком, 2014)
Интеллектуальные информационные системы. PROLOG – язык разработки интеллектуальных и экспертных систем учебное пособие для бакалавров и магистров направлений подготовки 230400 информационные системы и технологии и 230200 информационные системы
Yazar:: Хабаров С. П.
Baskı/Yayın Bilgisi: (Санкт-Петербург, СПбГЛТУ, 2013)
Yazar:: Хабаров С. П.
Baskı/Yayın Bilgisi: (Санкт-Петербург, СПбГЛТУ, 2013)
Функциональное и логическое программирование: учебное пособие
Yazar:: Озерова И. Г. Ирина Геннадьевна
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 2004)
Yazar:: Озерова И. Г. Ирина Геннадьевна
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 2004)
Функциональное и логическое программирование: учебное пособие
Yazar:: Озерова И. Г. Ирина Геннадьевна
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 2005)
Yazar:: Озерова И. Г. Ирина Геннадьевна
Baskı/Yayın Bilgisi: (Томск, Изд-во ТПУ, 2005)
Теория и практика логического программирования на языке Visual Prolog 7: учебное пособие
Yazar:: Цуканова Н. И. Нина Ивановна
Baskı/Yayın Bilgisi: (Москва, Горячая линия-Телеком, 2013)
Yazar:: Цуканова Н. И. Нина Ивановна
Baskı/Yayın Bilgisi: (Москва, Горячая линия-Телеком, 2013)
Функциональное и логическое программирование: учебное пособие
Yazar:: Ездаков А. Л. Андрей Леонидович
Baskı/Yayın Bilgisi: (Москва, БИНОМ. Лаборатория знаний, 2009)
Yazar:: Ездаков А. Л. Андрей Леонидович
Baskı/Yayın Bilgisi: (Москва, БИНОМ. Лаборатория знаний, 2009)
Введение в логическое программирование
Yazar:: Хоггер К. Дж. Кристофер Джон
Baskı/Yayın Bilgisi: (Москва, Мир, 1988)
Yazar:: Хоггер К. Дж. Кристофер Джон
Baskı/Yayın Bilgisi: (Москва, Мир, 1988)
Неклассические логики и лямбда-исчисление: некоторые элементы
Yazar:: Грибанов Д. В.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)
Yazar:: Грибанов Д. В.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2021)
Введение в логическое программирование на микро-прологе: пер. с англ.
Yazar:: Кларк Кейт Л.
Baskı/Yayın Bilgisi: (Москва, Радио и связь, 1987)
Yazar:: Кларк Кейт Л.
Baskı/Yayın Bilgisi: (Москва, Радио и связь, 1987)
Вып. 5; Логические исследования
Baskı/Yayın Bilgisi: (1998)
Baskı/Yayın Bilgisi: (1998)
Искусственный интеллект и логическое программирование / ДО 2019 (09.03.04): электронный курс
Yazar:: Марухина О. В. Ольга Владимировна
Baskı/Yayın Bilgisi: (Томск, TPU Moodle, 2023)
Yazar:: Марухина О. В. Ольга Владимировна
Baskı/Yayın Bilgisi: (Томск, TPU Moodle, 2023)
Элементы неклассических логик и моделей вычислений учебно-методическое пособие
Yazar:: Малышев Д. С.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015)
Yazar:: Малышев Д. С.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2015)
Некоторые элементы неклассических логик и лямбда-исчисления учебно-методическое пособие
Yazar:: Малышев Д. С.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)
Yazar:: Малышев Д. С.
Baskı/Yayın Bilgisi: (Нижний Новгород, ННГУ им. Н. И. Лобачевского, 2017)
Введение в логическое программирование
Yazar:: Дженесерет М.
Baskı/Yayın Bilgisi: (Москва, ДМК Пресс, 2022)
Yazar:: Дженесерет М.
Baskı/Yayın Bilgisi: (Москва, ДМК Пресс, 2022)
Логика: учебное пособие для вузов
Yazar:: Ивин А. А. Александр Архипович
Baskı/Yayın Bilgisi: (Москва, Высшая школа, 2004)
Yazar:: Ивин А. А. Александр Архипович
Baskı/Yayın Bilgisi: (Москва, Высшая школа, 2004)
Логический подход к искусственному интеллекту: от классической логики к логическому программированию; пер. с фр.
Baskı/Yayın Bilgisi: (Москва, Мир, 1990)
Baskı/Yayın Bilgisi: (Москва, Мир, 1990)
Содержательная семантика модальной логики
Yazar:: Ивлев Ю. В. Юрий Васильевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1985)
Yazar:: Ивлев Ю. В. Юрий Васильевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1985)
Современная логика и методология науки: сборник научных статей
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1987)
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1987)
Достоверный и правдоподобный вывод в интеллектуальных системах
Baskı/Yayın Bilgisi: (Москва, Физматлит, 2004)
Baskı/Yayın Bilgisi: (Москва, Физматлит, 2004)
Вып. 124 : Языки спецификаций и логическое программирование; Вычислительные системы
Baskı/Yayın Bilgisi: (1988)
Baskı/Yayın Bilgisi: (1988)
Формы логики
Baskı/Yayın Bilgisi: (Пекин, Народное изд-во, 2005)
Baskı/Yayın Bilgisi: (Пекин, Народное изд-во, 2005)
Модальная логика
Yazar:: Ивлев Ю. В. Юрий Васильевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1991)
Yazar:: Ивлев Ю. В. Юрий Васильевич
Baskı/Yayın Bilgisi: (Москва, Изд-во МГУ, 1991)
Теория логического вывода
Baskı/Yayın Bilgisi: (Москва, Наука, 1973)
Baskı/Yayın Bilgisi: (Москва, Наука, 1973)
Математика метаматематики: пер. с англ.
Yazar:: Расева Е. Елена
Baskı/Yayın Bilgisi: (Москва, Наука, 1972)
Yazar:: Расева Е. Елена
Baskı/Yayın Bilgisi: (Москва, Наука, 1972)
Логика изменения и модальная логика
Yazar:: Солодухин О. А. Олег Анатольевич
Baskı/Yayın Bilgisi: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)
Yazar:: Солодухин О. А. Олег Анатольевич
Baskı/Yayın Bilgisi: (Ростов-на-Дону, Изд-во Ростовского ун-та, 1989)
Математическая логика и теория алгоритмов для программистов: учебное пособие
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2010)
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2010)
Модальная логика: пер. с англ.
Yazar:: Фейс Р. Роберт
Baskı/Yayın Bilgisi: (Москва, Наука, 1974)
Yazar:: Фейс Р. Роберт
Baskı/Yayın Bilgisi: (Москва, Наука, 1974)
Основы разработки приложений семантического Web на платформе SWI-Prolog учебное пособие для вузов
Yazar:: Пантелеев Е. Р.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2025)
Yazar:: Пантелеев Е. Р.
Baskı/Yayın Bilgisi: (Санкт-Петербург, Лань, 2025)
Логическое управление и технологические защиты: методические указания к практическим работам
Yazar:: Захаревич Ю. С. Юлия Сергеевна
Baskı/Yayın Bilgisi: (Томск, Изд-во "АлКом", 2021)
Yazar:: Захаревич Ю. С. Юлия Сергеевна
Baskı/Yayın Bilgisi: (Томск, Изд-во "АлКом", 2021)
Модальные и интенсиональные логики и их применение к проблемам методологии науки
Baskı/Yayın Bilgisi: (Москва, Наука, 1984)
Baskı/Yayın Bilgisi: (Москва, Наука, 1984)
"Возможные миры" в философии и логике
Yazar:: Фатиев Н. И. Никита Игоревич
Baskı/Yayın Bilgisi: (Иркутск, Изд-во Иркутского ун-та, 1993)
Yazar:: Фатиев Н. И. Никита Игоревич
Baskı/Yayın Bilgisi: (Иркутск, Изд-во Иркутского ун-та, 1993)
Логика и онтология
Baskı/Yayın Bilgisi: (Москва, Наука, 1978)
Baskı/Yayın Bilgisi: (Москва, Наука, 1978)
Логика. Общий курс формальной логики: учебник для вузов
Yazar:: Грядовой Д. И. Дмитрий Иосифович
Baskı/Yayın Bilgisi: (Москва, ЮНИТИ, 2010)
Yazar:: Грядовой Д. И. Дмитрий Иосифович
Baskı/Yayın Bilgisi: (Москва, ЮНИТИ, 2010)
Логика норм
Yazar:: Ивин А. А. Александр Архипович
Baskı/Yayın Bilgisi: (Москва, Изд-во Московского ун-та, 1973)
Yazar:: Ивин А. А. Александр Архипович
Baskı/Yayın Bilgisi: (Москва, Изд-во Московского ун-та, 1973)
Элементы модальной логики: монография
Yazar:: Костюк В. Н. Владимир Николаевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1978)
Yazar:: Костюк В. Н. Владимир Николаевич
Baskı/Yayın Bilgisi: (Киев, Наукова думка, 1978)
Математическая логика и теория алгоритмов для программистов: учебное пособие
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2013)
Yazar:: Гринченков Д. В. Дмитрий Валерьевич
Baskı/Yayın Bilgisi: (Москва, КноРус, 2013)
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)