000			02704nam a2200601 i 4500
001			vtls000376736
003			RU-ToGU
005			20210922042521.0
008			120829s2009 ru a b 000 0 rus
017			_a07-91975 _bRuMoRKP
020			_a9785947747140
020			_a9785955601106
035			_a(RU-RKP)ru07-91975RKP
040			_aRuMoRKP _brus _cRuMoRKP _dRU-ToGU
041	0		_arus
080			_a519.1(075.8)
084			_a22.176я73 _2rubbkm
100	1		_aДехтярь, Михаил Иосифович _9358879
245	1	0	_aЛекции по дискретной математике _bучебное пособие _cМ. И. Дехтярь
260			_aМосква _bИнтернет-Ун-т информ. технологий [и др.] _c2009
300			_a259 с. _bил.
490	1	0	_aОсновы информационных технологий
504			_aБиблиогр.: с. 258-259
650		7	_aдискретная математика _2RuMoRKP _953491
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задачи
830			_aОсновы информационных технологий _977823
852	4		_aRU-ToGU _h519.1 _iД395 _nru
908			_aучебник
920			_a978-5-94774-714-0 _bБином. ЛЗ в пер. _92000 экз.
999			_c277759