|
|
|
|
| LEADER |
01390nam0a2200337 i 4500 |
| 001 |
3E31666C-21BC-440D-996F-BB0059F4A98E |
| 010 |
|
|
|a 5-7695-1363-2
|d р.224.62
|
| 100 |
|
|
|a 20060323d2004 |||y0rusy02 ca
|
| 101 |
0 |
|
|a rus
|
| 102 |
|
|
|a RU
|
| 105 |
|
|
|a y j 000#y
|
| 200 |
1 |
|
|a Математическая логика и теория алгоритмов
|e учеб. пособие для вузов по специальности 032100 "Математика"
|f В. И. Игошин
|
| 210 |
|
|
|a Москва
|c ACADEMIA
|d 2004
|
| 215 |
|
|
|a 446. [1]с.
|
| 225 |
2 |
|
|a Высшее профессиональное образование. Педагогические специальности
|
| 320 |
|
|
|a Библиография: с. 435-442 и в подстрочных примечаниях
|
| 606 |
|
|
|a Математическая логика
|
| 606 |
|
|
|a Алгоритмы
|x Теория
|
| 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 20060323
|
