000			03560nam a2200709 i 4500
001			vtls000576678
003			RU-ToGU
005			20220427135113.0
008			170531s2016 ru ac b 000 0ceng
020			_a9785971026297
035			_ato000576678
040			_aRU-ToGU _brus _cRU-ToGU
080			_a510.5/.6(075.8)
100	1		_aГуц, Александр Константинович _d1947- _959865
245	1	0	_aМатематическая логика и теория алгоритмов _b[учебное пособие для студентов по специальностям "Компьютерная безопасность" и "Вычислительные машины, комплексы, системы и сети"] _cА. К. Гуц
250			_aИзд. 3-е, испр.
260			_aМосква _bЛенанд _c2016
300			_a117 с. _bил., портр.
504			_aБиблиогр.: с. 114-117 и в подстроч. примеч.
600	1	4	_aКолмогоров, Андрей Николаевич _d1903-1987 _965705
600	1	4	_aПост, Эмиль Леон _9348565
600	1	4	_aТьюринг, Алан Мэтисон _d1912-1954 _9105013
600	1	4	_aВасильев, Николай Александрович _9128551
600	1	4	_aХоар, Чарльз _9348566
600	1	4	_aВригт, Георг фон _9348567
600	1	4	_aКрипке, Сол _d1940- _975324
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			_aфункции рекурсивные
653			_aТьюринга-Поста машина
653			_aМаркова алгорифмы нормальные
653			_aсложность алгоритмов
653			_aвиртуальная реальность, генератор
653			_aлогики неклассические
653			_aлогика интуиционистская
653			_aлогики временные
653			_aалгоритмы эффективные
653			_aалгоритмические проблемы неразрешимые
653			_aКантгоуту логически возможные среды
653			_aалгоритмы реальности
852	4		_aRU-ToGU _h51 _iГ977 _nru
908			_aучебник
999			_c424513