|
|
|
|
|
00000cam0a2200000 ib4500 |
| 001 |
BY-CNB-br4568620 |
| 005 |
20200326132252.0 |
| 010 |
# |
# |
$a 978-5-97060-622-3
|
| 100 |
# |
# |
$a 20180315d2018 f y0rusy50 ||||ca
|
| 101 |
0 |
# |
$a rus
|
| 102 |
# |
# |
$a RU
|
| 105 |
# |
# |
$a a j 000yy
|
| 109 |
# |
# |
$a ga
|
| 200 |
1 |
# |
$a Дискретная математика. Формально-логические системы и языки
$e для студентов бакалавриата, обучающихся по направлениям 09.03.01 "Информатика и вычислительная техника", 09.03.02 "Информационные системы и технологии", 09.03.03 "Прикладная информатика", 09.03.04 "Программная инженерия"
$f С. М. Авдошин, А. А. Набебин
|
| 210 |
# |
# |
$a Москва
$c ДМК Пресс
$d 2018
|
| 215 |
# |
# |
$a 389 с.
$c ил., табл.
$d 23 см
|
| 320 |
# |
# |
$a Библиография: с. 383—385 (54 назв.)
|
| 345 |
# |
# |
$9 200 экз.
|
| 516 |
1 |
# |
$a Формально-логические системы и языки
|
| 606 |
# |
# |
$3 BY-NLB-ar9409
$a ДИСКРЕТНАЯ МАТЕМАТИКА
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar17284
$a МАТЕМАТИЧЕСКАЯ ЛОГИКА
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar3139036
$a ФОРМАЛЬНЫЕ СИСТЕМЫ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar51820
$a ФОРМАЛИЗОВАННЫЕ ЯЗЫКИ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar54559
$a БУЛЕВА АЛГЕБРА
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar81562
$a ПРЕДИКАТЫ (мат.)
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar59309
$a КОНЕЧНЫЕ АВТОМАТЫ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar40089
$a ЯЗЫКИ ПРОГРАММИРОВАНИЯ
$2 DVNLB
|
| 606 |
# |
# |
$3 BY-NLB-ar5503451
$a ТЕМПОРАЛЬНАЯ ЛОГИКА
$2 DVNLB
|
| 675 |
# |
# |
$a 510.6(075.8)
$v 4
$z rus
|
| 675 |
# |
# |
$a 519.713(075.8)
$v 4
$z rus
|
| 686 |
# |
# |
$a 27.01.33
$v 6
$2 rugasnti
|
| 686 |
# |
# |
$a 27.03.19
$v 6
$2 rugasnti
|
| 686 |
# |
# |
$a 27.47.15
$v 6
$2 rugasnti
|
| 686 |
# |
# |
$a 28.25
$v 6
$2 rugasnti
|
| 700 |
# |
1 |
$3 BY-NLB-ar2656989
$a Авдошин
$b С. М.
$g Сергей Михайлович
$c кандидат технических наук
|
| 801 |
# |
0 |
$a BY
$b BY-HM0005
$c 20180327
$g psbo
|
