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

Bibliografske podrobnosti
Glavni avtor: Новосельцев В. Б. Виталий Борисович
Korporativna značnica: Томский политехнический университет (ТПУ)
Drugi avtorji: Копаница Г. Д. Георгий Дмитриевич
Izvleček:В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время логического подхода. Описаны методы работы с неопределенностью и модальностью при реализации программных проектов, ориентированных на работу с распределенной когнитивной информацией. Предназначено для студентов направления 552800 - «Информатика и вычслительная техника».
Jezik:ruščina
Izdano: Томск, Изд-во ТПУ, 2008
Teme:
Format: Knjiga
KOHA link:https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=145893

MARC

LEADER 00000nam0a2200000 4500
001 145893
005 20260410160828.0
010 |a 5982822571 
035 |a (RuTPU)RU\TPU\book\158140 
090 |a 145893 
100 |a 20081023d2008 m y0rusy50 ca 
101 0 |a rus 
102 |a RU 
105 |a a j 001zy 
200 1 |a Логическое программирование и моделирование систем  |e учебное пособие  |f В. Б. Новосельцев, Г. Д. Копаница  |g Томский политехнический университет (ТПУ) 
210 |a Томск  |c Изд-во ТПУ  |d 2008 
215 |a 115 с.  |c ил. 
320 |a Список литературы: с. 114. 
330 |a В пособии изложены современные подходы к программированию систем управления информационными комплексами. Представлен теоретический аппарат, необходимый для успешной работы в различных подобластях Искусственного Интеллекта. Рассмотрены современные трактовки парадигмы наиболее популярного в настоящее время логического подхода. Описаны методы работы с неопределенностью и модальностью при реализации программных проектов, ориентированных на работу с распределенной когнитивной информацией. Предназначено для студентов направления 552800 - «Информатика и вычслительная техника». 
610 1 |a логическое программирование 
610 1 |a математическая логика 
610 1 |a модальная логика 
610 1 |a логические системы 
610 1 |a структурные имплицитные модели 
610 1 |a программы 
610 1 |a Visual Prolog 
610 1 |a учебные пособия 
675 |a 681.3.06(075.8)  |v 3 
700 1 |a Новосельцев  |b В. Б.  |c специалист в области искусственного интеллекта  |c профессор Томского политехнического университета, доктор физико-математических наук  |f 1955-  |g Виталий Борисович  |3 (RuTPU)RU\TPU\pers\25404  |9 11347 
701 1 |a Копаница  |b Г. Д.  |c специалист в области информатики и вычислительной техники  |c инженер-исследователь Томского политехнического университета, кандидат технических наук  |f 1985-  |g Георгий Дмитриевич  |3 (RuTPU)RU\TPU\pers\27797  |9 12845 
712 0 2 |a Томский политехнический университет (ТПУ)  |c (1991- )  |3 (RuTPU)RU\TPU\col\376 
801 1 |a RU  |b 63413507  |c 20081023  |g PSBO 
801 2 |a RU  |b 63413507  |c 20201124  |g PSBO 
942 |c BK