|
|
|
|
| LEADER |
01574nam0a2200361 i 4500 |
| 001 |
700ECFDF-244B-4B75-B6BE-0072AA551391 |
| 010 |
|
|
|a 5-7695-2914-8
|
| 100 |
|
|
|a 20070523d2006 |||y0rusy01
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a a j 000#y
|
| 200 |
1 |
|
|a Задачи и упражнения по математической логике и теории алгоритмов
|e учеб. пособие для студентов вузов, обучающхся по специальности 032100 "Математика"
|f В.И. Игошин
|
| 205 |
|
|
|a 2-е изд., стер.
|
| 210 |
|
|
|a Москва
|c Academia
|d 2006
|
| 215 |
|
|
|a 302, [1]с.
|c ил.
|d 22 см
|
| 225 |
2 |
|
|a Учебное пособие
|
| 225 |
2 |
|
|a Высшее профессиональное образование
|i Педагогические специальности
|
| 320 |
|
|
|a Библиогр.: с. 301 (22 назв.) и в подстроч. примеч.
|
| 606 |
|
|
|a Алгоритмы
|x Теория
|
| 606 |
|
|
|a Математическая логика
|
| 610 |
1 |
|
|a Алгебра высказываний
|
| 610 |
1 |
|
|a БУЛЕВЫ ФУНКЦИИ
|
| 610 |
1 |
|
|a ПРЕДИКАТЫ
|
| 610 |
1 |
|
|a Рекурсивные функции
|
| 610 |
1 |
|
|a Маркова алгоритмы
|
| 610 |
1 |
|
|a Тьюринга машины
|
| 686 |
|
|
|a 22.122
|a 22.127
|2 rubbk
|
| 686 |
|
|
|a 27
|2 rugasnti
|
| 700 |
|
1 |
|a Игошин
|b В. И.
|g Владимир Иванович
|
| 801 |
|
0 |
|b ГПНТБ России
|a RU
|c 20070523
|
