Логика и дедуктивный вывод в логических моделях представления знаний: метод резолюций и стратегии резолюции: учебное пособие для всех форм обучения факультетов ФИТУ, КСиС и аспирантов / В. А. Иноземцев

Сохранено в:
Шифр документа: 1Ба249099, 1Ба249100,
Вид документа: Книги
Автор: Иноземцев, В. А. (род. 1963)
Опубликовано: Минск : БГУИР , 2001
Физические характеристики: 36 с. : ил. ; 20 см
Язык: Русский
Предмет:
МАТЕМАТИЧЕСКАЯ ЛОГИКА
ИНФОРМАТИКА
ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ
АСПИРАНТУРА
ПРЕДСТАВЛЕНИЕ ЗНАНИЙ
РЕЗОЛЮЦИЙ МЕТОД
МАТЭМАТЫЧНАЯ ЛОГІКА
ІНФАРМАТЫКА
АСПІРАНТУРА
ПРАДСТАЎЛЕННЕ ВЕДАЎ
РЭЗАЛЮЦЫЙ МЕТАД
ШТУЧНЫ ІНТЭЛЕКТ
ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ
00000cam0a2200000 ib4500
001 BY-NLB-br363173
005 20241002091536.0
010 # # $a 985-444-273-Х 
100 # # $a 20011105d2001 u y0rusy50 ||||ca 
101 0 # $a rus 
102 # # $a BY 
105 # # $a a j 000yy 
109 # # $a ga 
200 1 # $a Логика и дедуктивный вывод в логических моделях представления знаний: метод резолюций и стратегии резолюции  $e учебное пособие для всех форм обучения факультетов ФИТУ, КСиС и аспирантов  $f В. А. Иноземцев  $g Министерство образования Республики Беларусь, Учреждение образования "Белорусский государственный университет информатики и радиоэлектроники", Кафедра философии 
210 # # $a Минск  $c БГУИР  $d 2001 
215 # # $a 36 с.  $c ил.  $d 20 см 
320 # # $a Библиография: с. 34―35 (20 назв.) 
345 # # $9 100 экз. 
606 0 # $3 BY-NLB-ar17284  $a МАТЕМАТИЧЕСКАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar12062  $a ИНФОРМАТИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar12252  $a ИСКУССТВЕННЫЙ ИНТЕЛЛЕКТ  $2 DVNLB 
606 0 # $3 BY-NLB-ar49949  $a АСПИРАНТУРА  $2 DVNLB 
606 0 # $3 BY-NLB-ar25266  $a ПРЕДСТАВЛЕНИЕ ЗНАНИЙ  $2 DVNLB 
606 0 # $3 BY-NLB-ar70917  $a РЕЗОЛЮЦИЙ МЕТОД  $2 DVNLB 
606 0 # $3 BY-NLB-ar17285  $a МАТЭМАТЫЧНАЯ ЛОГІКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar12063  $a ІНФАРМАТЫКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar49950  $a АСПІРАНТУРА  $2 DVNLB 
606 0 # $3 BY-NLB-ar25267  $a ПРАДСТАЎЛЕННЕ ВЕДАЎ  $2 DVNLB 
606 0 # $3 BY-NLB-ar70918  $a РЭЗАЛЮЦЫЙ МЕТАД  $2 DVNLB 
606 0 # $3 BY-NLB-ar12253  $a ШТУЧНЫ ІНТЭЛЕКТ  $2 DVNLB 
606 0 # $3 BY-NLB-ar3282468  $a ЛОГИЧЕСКОЕ МОДЕЛИРОВАНИЕ  $2 DVNLB 
608 # # $3 BY-NLB-ar2286649  $a УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ  $2 BYGNR 
615 # # $a Белорусский национальный документ 
675 # # $a 510.6(075.8)  $v 3  $z rus 
675 # # $a 007(075.8)  $v 3  $z rus 
686 # # $a 27.03.19  $2 rugasnti 
686 # # $a 28.23  $2 rugasnti 
700 # 1 $3 BY-SEK-318458  $a Иноземцев  $b В. А.  $g Владимир Александрович  $c кандидат философских наук  $f род. 1963 
712 0 2 $3 BY-NLB-ar2765362  $a Белорусский государственный университет информатики и радиоэлектроники  $c Минск  $b Кафедра философии  $4 475 
801 # 0 $a BY  $b BY-HM0000  $c 20011105  $g psbo 
801 # 1 $a BY  $b BY-HM0000  $c 20060315  $g psbo 

Схожие документы