000 02156nam0a2200337 4500
001 RU\NLR\bibl\1015814
005 20250614232916.0
010 _a5-88988-702-X
_9100
021 _aRU
_b2006-66583
_93341
090 _a592867
_c592867
100 _a20061201d2006 |||y0rusy50 ca
101 0 _arus
102 _aRU
105 _aa |||||||||
200 1 _aМатематическая логика и теория алгоритмов для программистов
_eучебное пособие для студентов высших учебных заведений, обучающихся по направлению 230100 "Информатика и вычислительная техника", специальности 230105 "Программное обеспечение вычислительной техники и автоматизированных систем"
_fД.В. Гринченков, С.И. Потоцкий
_gМ-во образования и науки Рос. Федерации, Федер. агентство по образованию, Юж.-Рос. гос. техн. ун-т (Новочеркас. политехн. ин-т)
210 _aНовочеркасск
_cЮжно-Российский государственный технический университет
_d2006
215 _a176 с.
_cил.
_d21
320 _aБиблиогр.: с. 169-170 (21 назв.)
606 1 _aМатематическая логика
_jУчебные издания для высших учебных заведений
_2nlr_sh2
_3RU\NLR\auth\6620994
606 1 _aАлгоритмов теория
_jУчебные издания для высших учебных заведений
_2nlr_sh2
_3RU\NLR\auth\661349362
686 _aВ12я73-1
700 1 _aГринченков
_bД. В.
_gДмитрий Валерьевич
_4070
701 1 _aПотоцкий
_bС. И.
_gСергей Иванович
_4070
830 _aАвт. по кн.
942 _cBOOK
983 0 _aРг ЧОВ