000			03001nam a2200577 4500
001			vtls000186337
003			RU-ToGU
005			20210909182450.0
008			120827s1984 ru a f b 001 0 rus d
035			_a0191-25060
035			_a(RU-RKP)ru84-56018
040			_aRU-RKP _brus _cRU-RKP _dRU-ToGU _ePSBO
080			_a007
080			_a510.64:519.716.33
100	1		_aГаек, Петр. _9266866
245	1	0	_aАвтоматическое образование гипотез _bМатематические основы общей теории _cП. Гаек, Т. Гавранек; Под ред. Д. А. Поспелова
260			_aМ. _bНаука _c1984
300			_a276,[4] с. _bил. _c22 см.
490	1	0	_aПроблемы искусственного интеллекта
500			_aПеревод изд.: Mechanizing hуpothesis formation / P. Hajek, T. Havranek (Berlin etc., 1978)
504			_aБиблиогр.: с. 266-272
504			_aПредм. указ.: с. 273-277
650		7	_aкибернетика. _2RU-rurkp _956274
653			_aискусственный интеллект.
653			_aлогические исчисления.
653			_aкванторы обобщенные.
653			_aмногозначные исчисления.
653			_aформализация индуктивных рассуждений.
653			_aиндуктивные выводы рациональные.
653			_aвычислительная статистика.
653			_aавтоматическое порождение гипотез
653			_aлогика открытия.
653			_aлогика индукции.
653			_aэмпирические исчисления предикатов.
653			_aфункторные исчисления.
653			_aкванторы ассоциативные.
653			_aкванторы импликационные.
653			_aисчисления с неполной информацией.
653			_aисчисления с качественными значениями.
653			_aранговые исчисления.
653			_aлогика выдвижения гипотез.
653			_aэмпирические утверждения.
653			_aлогические проблемы.
653			_aGUNA-метод.
653			_aлогика открытия, статистические проблемы.
700	1		_aГавранек, Томаш. _9266867
700	1		_aПоспелов, Дмитрий Александрович. _4edt _9111275
830			_aПроблемы искусственного интеллекта _969056
852	4		_aRU-ToGU _h1-540199к _i510 _nru
999			_c187025