| Поле | Инд. | ПП | Название | Значение |
|---|---|---|---|---|
| Тип записи | a | |||
| Библиографический уровень | m | |||
| 001 | Контрольный номер | b5257d033aca440e818bd6bb47eb125d | ||
| 005 | Дата корректировки | 20170306144554.5 | ||
| 020 | a | ISBN | 978-5-16-005205-2 | |
| 040 | a | Служба первич. каталог. | НБ ТвГУ | |
| b | Код языка каталог. | rus | ||
| e | Правила каталог. | PSBO | ||
| 041 | 0_ | a | Код языка текста | rus |
| h | Код языка оригинала | rus | ||
| 080 | a | Индекс УДК | 510.5(075.8) | |
| 084 | a | Индекс другой классификации/Индекс ББК | В127я73-1 | |
| 090 | a | Полочн. индекс | В127 | |
| x | Авторский знак | И 26 | ||
| 097 | b | Оператор | mimoza | |
| 100 | 1_ | a | Автор | Игошин Владимир Иванович |
| q | Полное имя | Игошин В. И. | ||
| 245 | 10 | a | Заглавие | Теория алгоритмов |
| b | Продолж. заглавия | учебное пособие для студентов вузов, обучающихся по специальности 050201.65 "Математика" | ||
| 260 | c | Дата издания | 2012 | |
| a | Место издания | Москва | ||
| b | Издательство | ИНФРА-М | ||
| 300 | a | Объем | 317 с. | |
| 440 | _0 | a | Серия | Высшее образование |
| 504 | a | Библиография | Библиогр.: с. 306-311 | |
| 520 | 0_ | a | Аннотация | Подробно изложены три формализации понятия алгоритма - машины Тьюринга, рекурсивные функции и нормальные алгоритмы Маркова, доказана их эквивалентность. Рассмотрены основные теоремы общей теории алгоритмов, теория разрешимых и перечислимых множеств, алгоритмически неразрешимые массовые проблемы, теория сложности вычислений и массовых проблем, алгоритмические проблемы математической логики и других разделов математики. Охарактеризованы взаимосвязи теории алгоритмов с компьютерами и информатикой. Для студентов университетов, технических и педагогических вузов, обучающихся по специальностям "Математика", "Прикладная математика", "Математик-педагог", "Учитель математики" на уровнях бакалавриата, магистратуры, а также специалитета. |
| 653 | 0_ | a | Ключевые слова | Алгоритмы |
| a | Ключевые слова | Теория алгоритмов | ||
| a | Ключевые слова | Учебники для вузов | ||
| a | Ключевые слова | Машины Тьюринга | ||
| a | Ключевые слова | Рекурсивные функции | ||
| a | Ключевые слова | Нормальные алгоритмы Маркова | ||
| a | Ключевые слова | Разрешимые множества | ||
| a | Ключевые слова | Перечислимые множества | ||
| 901 | t | Тип документа | m | |
| 910 | a | гриф есть** | ||
| 920 | a | Оператор | Семен | |
| a | Оператор | Суха | ||
| a | Оператор | Стро | ||
| 930 | a | Новая/Ретро | новая | |
| 952 | c | Вид литературы | К ру | |
| 954 | b | Дата поступления в ОК | 20170220 | |
| a | Дата поступления на обработку | 20170303 | ||
| c | Дата окончания ОНО | 20170306 |