Математическая логика и теория алгоритмов для программистов: учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника" / Д. В. Гринченков, С. И. Потоцкий

Сохранено в:
Шифр документа: 1//573162(039),
Вид документа: Книги
Автор: Гринченков, Д. В.
Опубликовано: Москва : КноРус , 2014
Физические характеристики: 206 с. : ил., табл. ; 22 см
Язык: Русский
Серия: Бакалавриат
Предмет:
МАТЕМАТИЧЕСКАЯ ЛОГИКА
АЛГОРИТМОВ ТЕОРИЯ
БУЛЕВА АЛГЕБРА
МНОЖЕСТВ ТЕОРИЯ
ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ
ЯЗЫКИ ПРОГРАММИРОВАНИЯ
PROLOG (язык программирования)
00000cam0a2200000 ib4500
001 BY-NLB-br0001249445
005 20161117092713.0
010 # # $a 978-5-406-04041-6  $b в переплете 
100 # # $a 20151211d2014 f y0rusy50 ca 
101 0 # $a rus 
102 # # $a RU 
105 # # $a a j 000yy 
109 # # $a ga 
200 1 # $a Математическая логика и теория алгоритмов для программистов  $e учебное пособие для студентов высших учебных заведений, обучающихся по специальности "Программное обеспечение вычислительной техники и автоматизированных систем" направления подготовки "Информатика и вычислительная техника"  $f Д. В. Гринченков, С. И. Потоцкий 
210 # # $a Москва  $c КноРус  $d 2014 
215 # # $a 206 с.  $c ил., табл.  $d 22 см 
225 1 # $a Бакалавриат 
320 # # $a Библиография: с. 205―206 (24 назв.) 
345 # # $9 349 экз. 
606 0 # $3 BY-NLB-ar17284  $a МАТЕМАТИЧЕСКАЯ ЛОГИКА  $2 DVNLB 
606 0 # $3 BY-NLB-ar2149  $a АЛГОРИТМОВ ТЕОРИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar54559  $a БУЛЕВА АЛГЕБРА  $2 DVNLB 
606 0 # $3 BY-NLB-ar18626  $a МНОЖЕСТВ ТЕОРИЯ  $2 DVNLB 
606 0 # $3 BY-NLB-ar16600  $a ЛОГИЧЕСКОЕ ПРОГРАММИРОВАНИЕ  $2 DVNLB 
606 0 # $3 BY-NLB-ar40089  $a ЯЗЫКИ ПРОГРАММИРОВАНИЯ  $2 DVNLB 
608 # # $3 BY-NLB-ar2286649  $a УЧЕБНОЕ ПОСОБИЕ ДЛЯ ВУЗОВ  $2 BYGNR 
616 # # $3 BY-NLB-ar25960  $a PROLOG  $c язык программирования  $2 BYVTM 
675 # # $a 510.5/.6(075.8)  $v 4  $z rus 
675 # # $a 004.438Пролог:004.42(075.8)  $v 4  $z rus 
675 # # $a 004.421(075.8)  $v 4  $z rus 
686 # # $a 50.05.03  $v 6  $2 rugasnti 
686 # # $a 50.05.09  $v 6  $2 rugasnti 
686 # # $a 50.01.33  $v 6  $2 rugasnti 
686 # # $a 27.01.33  $v 6  $2 rugasnti 
686 # # $a 27.03.19  $v 6  $2 rugasnti 
700 # 1 $3 BY-RLST-ar422598  $a Гринченков  $b Д. В.  $g Дмитрий Валерьевич  $c кандидат технических наук 
701 # 1 $3 BY-RLST-ar429440  $a Потоцкий  $b С. И.  $g Сергей Иванович 
801 # 0 $a BY  $b BY-HM0000  $c 20151211  $g psbo 

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