Normal view
MARC view
The Foundations of Computability Theory (Record no. 416401)
[ view plain ]
000 -Маркер записи | |
---|---|
Контрольное поле постоянной длины | 03577nam a22005055i 4500 |
001 - Контрольный номер | |
Контрольное поле | vtls000561564 |
005 - Дата корректировки | |
Контрольное поле | 20210922090602.0 |
007 - Кодируемые данные (физ. описан.) | |
Контрольное поле постоянной длины | cr nn 008mamaa |
008 - Кодируемые данные | |
Контрольное поле постоянной длины | 170213s2015 gw | s |||| 0|eng d |
020 ## - Индекс ISBN | |
ISBN | 9783662448083 |
-- | 978-3-662-44808-3 |
024 7# - Прочие стандартные номера | |
Стандартный номер | 10.1007/978-3-662-44808-3 |
Источник номера | doi |
035 ## - Системный контрольный номер | |
Системный контрольный номер | to000561564 |
040 ## - Источник каталогиз. | |
Служба первич. каталог. | Springer |
Служба, преобразующая запись | Springer |
Организация, изменившая запись | RU-ToGU |
050 #4 - Расстановочный код библ. Конгресса | |
Классификационный индекс | QA75.5-76.95 |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | UY |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | UYA |
Источник кода | bicssc |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | COM014000 |
Источник кода | bisacsh |
072 #7 - Код предметной/темат. категории | |
Код предметной/темат. категории | COM031000 |
Источник кода | bisacsh |
082 04 - Индекс Дьюи | |
Индекс Дьюи | 004.0151 |
Номер издания | 23 |
100 1# - Автор | |
Автор | Robič, Borut. |
Роль лиц | author. |
9 (RLIN) | 469354 |
245 14 - Заглавие | |
Заглавие | The Foundations of Computability Theory |
Физический носитель | electronic resource |
Ответственность | by Borut Robič. |
250 ## - Сведения об издании | |
Основные сведения об издании | 1st ed. 2015. |
260 ## - Выходные данные | |
Место издания | Berlin, Heidelberg : |
Издательство | Springer Berlin Heidelberg : |
-- | Imprint: Springer, |
Дата издания | 2015. |
300 ## - Физическое описание | |
Объем | XX, 331 p. 109 illus. |
Иллюстрации/тип воспроизводства | online resource. |
336 ## - Тип содержимого | |
Тип содержимого | text |
Content type code | txt |
Source | rdacontent |
337 ## - Средство доступа | |
Средство доступа | computer |
Media type code | c |
Source | rdamedia |
338 ## - Тип носителя | |
Тип носителя | online resource |
Carrier type code | cr |
Source | rdacarrier |
505 0# - Примечание о содержании | |
Содержание | Introduction -- The Foundational Crisis of Mathematics -- Formalism -- Hilbert’s Attempt at Recovery -- The Quest for a Formalization -- The Turing Machine -- The First Basic Results -- Incomputable Problems -- Methods of Proving the Incomputability -- Computation with External Help -- Degrees of Unsolvability -- The Turing Hierarchy of Unsolvability -- The Class D of Degrees of Unsolvability -- C.E. Degrees and the Priority Method -- The Arithmetical Hierarchy -- Further Reading -- App. A, Mathematical Background -- References -- Index. |
520 ## - Аннотация | |
Аннотация | This book offers an original and informative view of the development of fundamental concepts of computability theory. The treatment is put into historical context, emphasizing the motivation for ideas as well as their logical and formal development. In Part I the author introduces computability theory, with chapters on the foundational crisis of mathematics in the early twentieth century, and formalism; in Part II he explains classical computability theory, with chapters on the quest for formalization, the Turing Machine, and early successes such as defining incomputable problems, c.e. (computably enumerable) sets, and developing methods for proving incomputability; in Part III he explains relative computability, with chapters on computation with external help, degrees of unsolvability, the Turing hierarchy of unsolvability, the class of degrees of unsolvability, c.e. degrees and the priority method, and the arithmetical hierarchy. This is a gentle introduction from the origins of computability theory up to current research, and it will be of value as a textbook and guide for advanced undergraduate and graduate students and researchers in the domains of computability theory and theoretical computer science. |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 #0 - Тематические рубрики | |
Основная рубрика | computers. |
9 (RLIN) | 460101 |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer science |
Основная подрубрика | Mathematics. |
9 (RLIN) | 304486 |
650 #0 - Тематические рубрики | |
Основная рубрика | Computer mathematics. |
9 (RLIN) | 460896 |
650 14 - Тематические рубрики | |
Основная рубрика | Computer Science. |
9 (RLIN) | 155490 |
650 24 - Тематические рубрики | |
Основная рубрика | Theory of Computation. |
9 (RLIN) | 303507 |
650 24 - Тематические рубрики | |
Основная рубрика | Mathematics of Computing. |
9 (RLIN) | 303612 |
650 24 - Тематические рубрики | |
Основная рубрика | Computational Mathematics and Numerical Analysis. |
9 (RLIN) | 303505 |
710 2# - Другие организации | |
Организация/юрисдикция | SpringerLink (Online service) |
9 (RLIN) | 143950 |
773 0# - Источник информации | |
Название источника | Springer eBooks |
856 40 - Электронный адрес документа | |
URL | <a href="http://dx.doi.org/10.1007/978-3-662-44808-3">http://dx.doi.org/10.1007/978-3-662-44808-3</a> |
912 ## - Coursera for Campus: онлайн курсы для ТГУ | |
Coursera for Campus: онлайн курсы для ТГУ | ZDB-2-SCS |
999 ## - Системные контрольные номера (Koha) | |
biblionumber (Koha) | 416401 |
No items available.