Главная    Ex Libris    Книги    Журналы    Статьи    Серии    Каталог    Wanted    Загрузка    ХудЛит    Справка    Поиск по индексам    Поиск    Форум   
blank
Авторизация

       
blank
Поиск по указателям

blank
blank
blank
Красота
blank
Mark Burgin — Super-Recursive Algorithms (Monographs in Computer Science)
Mark Burgin — Super-Recursive Algorithms (Monographs in Computer Science)

Читать книгу
бесплатно

Скачать книгу с нашего сайта нельзя

Обсудите книгу на научном форуме



Нашли опечатку?
Выделите ее мышкой и нажмите Ctrl+Enter


Название: Super-Recursive Algorithms (Monographs in Computer Science)

Автор: Mark Burgin

Аннотация:

The main achievement of the theory of computations is the elaboration of an exact mathematical model of an algorithm done less than seventy years ago by introducing recursive and partial recursive functions, Turing machines, and Post formal systems. The famous Church-Turing Thesis claims that these models (called recursive algorithms) are the most general. The reason of this is that all mathematical models of algorithms that appeared later were either equivalent or even weaker than Turing machines (or equivalently, partial recursive functions). Theory of super-recursive algorithms refutes this Thesis because computing power of super-recursive algorithms is much greater than that of the conventional, or recursive, algorithms. Consequently, the discovery of super-recursive algorithms provides for a new understanding of some important mathematical results including the famous G?del incompleteness theorem. In 'Super-Recursive Algorithms,' fundamentals of the theory of super-recursive algorithms will be explained. It will be demonstrated that while recursive algorithms gave a correct theoretical representation of computers at the beginning of the 'computer era', super-recursive algorithms are more adequate as mathematical models for modern computers. In addition to this, super-recursive algorithms provide for a better theoretical frame for computing methods in various areas: for numerical analysis, for search and other operations with huge data arrays, for control and monitoring systems, etc. In the lecture, emphasize will be given to applications related to search in huge and, especially, in dynamic data arrays.


Язык: en

Статус предметного указателя: Неизвестно

ed2k: ed2k stats

Издание: 1

Год издания: 2004

Количество страниц: 313

Добавлена в каталог: 03.11.2014

Операции: Положить на полку | Скопировать ссылку для форума | Скопировать ID
blank
Предметный указатель
blank
Реклама
blank
blank
HR
@Mail.ru
       © Электронная библиотека попечительского совета мехмата МГУ, 2004-2019
Электронная библиотека мехмата МГУ | Valid HTML 4.01! | Valid CSS! О проекте