|
|
|
|
LEADER |
01456nam0a2200433 i 4500 |
001 |
39465421-D684-4024-95A1-E3800B010E9A |
010 |
|
|
|a 5-7036-0020-0
|d р.72400.00
|
100 |
|
|
|a 19980303d1996 |||y0rusy02 ca
|
101 |
0 |
|
|a rus
|
102 |
|
|
|a RU
|
105 |
|
|
|a y ||||000zy
|
200 |
1 |
|
|a Теория алгоритмов
|f А. А. Марков, Н. М. Нагорный
|
205 |
|
|
|a 2-е изд.
|b испр. и доп.
|
210 |
|
|
|a Москва
|c Фазис
|d 1996
|
215 |
|
|
|a 448с.
|
320 |
|
|
|a Библиогр.: с. 434-441. - Прил.: с. 425-433. - Предм. указ.: с. 445-448
|
606 |
|
|
|a Алгоритмы
|
610 |
1 |
|
|a Алгоритмы
|
610 |
1 |
|
|a Семантика
|
610 |
1 |
|
|a Слова
|
610 |
1 |
|
|a Языки
|
610 |
1 |
|
|a Переменные
|
610 |
1 |
|
|a Высказывания
|
610 |
1 |
|
|a Предикаты
|
610 |
1 |
|
|a Математическая логика
|
610 |
1 |
|
|a Дизъюнкции
|
610 |
1 |
|
|a Семиотика
|
610 |
1 |
|
|a Импликация
|
610 |
1 |
|
|a Вычислимые функции
|
610 |
1 |
|
|a Полугруппы
|
610 |
1 |
|
|a Математический анализ
|
686 |
|
|
|a 22.127
|2 rubbk
|
686 |
|
|
|a 27
|2 rugasnti
|
700 |
|
0 |
|a Марков
|b А. А.
|g Андрей Андреевич
|f 1903-1979
|
701 |
|
1 |
|a Нагорный
|b Н. М.
|g Николай Макарович
|
801 |
|
0 |
|b НБУР
|a RU
|c 19980303
|