|
|
|
|
|
00000cam0a2200000 ib4500 |
| 001 |
BY-RLST-kn-185977 |
| 005 |
20170927120741.7 |
| 010 |
# |
# |
$a 978-5-406-00120-2
$b в переплете
|
| 100 |
# |
# |
$a 20100416d2010 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 2010
|
| 215 |
# |
# |
$a 206 с.
$c ил., табл.
$d 22 см
|
| 320 |
# |
# |
$a Библиография: с. 205―206 (24 назв.)
|
| 345 |
# |
# |
$9 3000 экз.
|
| 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
|
| 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
$2 rugasnti
$v 6
|
| 686 |
# |
# |
$a 50.05.09
$2 rugasnti
$v 6
|
| 686 |
# |
# |
$a 50.01.33
$2 rugasnti
$v 6
|
| 686 |
# |
# |
$a 27.01.33
$2 rugasnti
$v 6
|
| 686 |
# |
# |
$a 27.03.19
$2 rugasnti
$v 6
|
| 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-HM0001
$c 20100416
$g psbo
|
| 801 |
# |
2 |
$a BY
$b BY-HM0000
$c 20170927
$g psbo
|
