Добавить в избранное
Форум
Правила сайта "Мир Книг"
Группа в Вконтакте
Подписка на книги
Правообладателям
Найти книгу:
Навигация
Вход на сайт
Регистрация



Реклама




Автор: Катленд Н.
Название: Вычислимость. Введение в теорию рекурсивных функций
Издательство: М.: Мир
Год: 1983
Язык: Русский, пер. с англ.
Формат: pdf, djvu
Размер: 13,9 mb
Страниц: 256 с., ил.

Предлагаемая читателю книга известного английского математика представляет собой элементарное введение в область, служащую теоретической основой программирования и различных приложений теории алгоритмов в математике и логике, теории формальных языков, информационных системах и системах управления, биологии и других науках.

При небольшом объеме автор сумел охватить обширный материал, представив в наглядном виде даже весьма нетривиальные результаты (например, теорему Блюма об ускорении). Наряду с собственно теорией рекурсивных функций излагаются ее основные приложения в формальной арифметике (теорема Гёделя о неполноте) и в математической логике (теорема Чёрча о неразрешимости узкого исчисления предикатов).

Книга рассчитана на широкий круг читателей, включая старшеклассников, интересующихся перечисленными областями. Формально для ее чтения не требуется специальной подготовки, необходимые сведения из теории множеств и математической логики приводятся во введении и основном тексте.








ОТСУТСТВУЕТ ССЫЛКА/ НЕ РАБОЧАЯ ССЫЛКА ЕСТЬ РЕШЕНИЕ, ПИШИМ СЮДА!







Автор: daromir 11-06-2018, 09:27 | Напечатать |
 
Уважаемый посетитель, Вы зашли на сайт как незарегистрированный пользователь.





С этой публикацией часто скачивают:

Посетители, находящиеся в группе Гости, не могут оставлять комментарии к данной публикации.


 MirKnig.Su  ©2024     При использовании материалов библиотеки обязательна обратная активная ссылка    Политика конфиденциальности