Theory of Computation (Запись № 236656)
[ простой вид ]
| 000 -Маркер | |
|---|---|
| Поле контроля фиксированной длины | 02630nam0a2200385 4500 |
| 005 - Идентификатор версии | |
| Поле контроля фиксированной длины | 20231029210743.0 |
| 010 ## - Международный стандартный книжный номер (ISBN) | |
| Номер (ISBN) | 9781118014783 |
| 035 ## - Другие системные номера | |
| Идентификатор записи | (RuTPU)RU\TPU\book\257822 |
| 100 ## - Данные общей обработки | |
| Данные общей обработки | 20130426d2012 k y0engy50 ba |
| 101 0# - Язык ресурса | |
| Язык текста, звукозаписи и т.д. | английский |
| 102 ## - Страна публикации или производства | |
| Страна публикации | |
| 105 ## - Поле кодированных данных: текстовые ресурсы, монографические | |
| Кодированные данные о монографическом текстовом документе | a z 001zy |
| 200 1# - Заглавие и сведения об ответственности | |
| Основное заглавие | Theory of Computation |
| Первые сведения об ответственности | G. Tourlakis |
| 210 ## - Публикация, производство, распространение и т.д. | |
| Место публикации, производства и/или распространения | |
| Имя издателя, производителя и/или распространителя | John Wiley & Sons, Inc. |
| Дата публикации, производства и/или распространения | 2012 |
| 215 ## - Физические характеристики | |
| Сведения об объеме | 389 p. |
| Другие физические характеристики | il. |
| 320 ## - Примечания о наличии в ресурсе библиографии/указателя | |
| Текст примечания | Bibliography: p. 375-378. |
| 320 ## - Примечания о наличии в ресурсе библиографии/указателя | |
| Текст примечания | Index: p. 379-389. |
| 330 ## - Резюме или реферат | |
| Текст примечания | Learn the skills and acquire the intuition to assess the theoretical limitations of computer programming Offering an accessible approach to the topic, Theory of Computation focuses on the metatheory of computing and the theoretical boundaries between what various computational models can do and not do-from the most general model, the URM (Unbounded Register Machines), to the finite automaton. A wealth of programming-like examples and easy-to-follow explanations build the general theory gradually, which guides readers through the modeling and mathematical analysis of computational phenomena and provides insights on what makes things tick and also what restrains the ability of computational processes. Recognizing the importance of acquired practical experience, the book begins with the metatheory of general purpose computer programs, using URMs as a straightforward, technology-independent model of modern high-level rogramming languages while also exploring the restrictions of the URM language. Once readers gain an understanding of computability theory-including the primitive recursive functions-the author presents automata and languages, covering the regular and context-free languages as well as the machines that recognize these languages. Several advanced topics such as reducibilities, the recursion theorem, complexity theory, and Cook's theorem are also discussed. |
| 606 1# - Наименование темы как предмет | |
| Наименование темы | Вычислительная математика |
| Источник данных | stltpush |
| Идентификатор авторитетной/ нормативной записи | (RuTPU)RU\TPU\subj\4022 |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | вычисления |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | теория |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | вычислительные задачи |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | вычислительные процессы |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | вычислительные модели |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | вычислительные алгоритмы |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | английский язык |
| 610 1# - Неконтролируемые предметные термины | |
| Предметный термин | дискретная математика |
| 675 ## - Универсальная десятичная классификация (UDC/УДК) | |
| Индекс | 519.6 |
| Издание | 3 |
| 700 #1 - Имя лица – первичная ответственность | |
| Начальный элемент ввода | Tourlakis |
| Часть имени, кроме начального элемента ввода | G. |
| Расширение инициалов личного имени | George |
| 801 #1 - Источник записи | |
| Страна | RU |
| Организация | 63413507 |
| Дата составления | 20130426 |
| 801 #2 - Источник записи | |
| Страна | RU |
| Организация | 63413507 |
| Дата составления | 20131126 |
| Правила каталогизации | RCR |
| 090 ## - System Control Numbers (Koha) | |
| Koha biblioitem number (autogenerated) | 236656 |
| 942 ## - Добавленные элементы ввода (Коха) | |
| Тип документа | Books |
| 959 ## - | |
| -- | 87/20130424 |
| -- | 1 |
| -- | 0 |
| -- | ЧЗИЛ:1 |
| Состояние изъятия | Состояние повреждения | Состояние потери | Дата поступления | Исходная библиотека | Текущая библиотека | Фонд | Штрих-код | Цена действует с | Инвентарный номер | Шифр хранения | Ограничение выдачи | Тип документа | Koha normalized classification for sorting | Total checkouts | Date last seen |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 14.11.2013 | НТБ ТПУ | НТБ ТПУ | Читальный зал иностранной литературы | 13821000677785 | 29.10.2023 | 13-2337 | 519.6 T79 | Books | 5196_T79 | 29.10.2023 |