Вычислимое и невычислимое, Манин Ю.И., 1980


Вычислимое и невычислимое, Манин Ю.И., 1980.
 
   Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов.
Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.

Вычислимое и невычислимое, Манин Ю.И., 1980


ЭЛЕМЕНТЫ РЕКУРСИВНОЙ ГЕОМЕТРИИ.
5.1. Основные объекты современных геометрических дисциплин (дифференциальная, аналитическая, алгебраическая геометрии) определяются как пары <множество, совокупность частичных функций на нем>, удовлетворяющие тем или иным аксиомам. Это — новое воплощение старой идеи о том, что математика изучает «числа и фигуры».

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

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



Бесплатно скачать электронную книгу в удобном формате и читать:

Скачать книгу Вычислимое и невычислимое, Манин Ю.И., 1980 - fileskachat.com, быстрое и бесплатное скачивание.

Скачать




Скачать - pdf - Яндекс.Диск.
Дата публикации:





Теги: :: :: ::


Следующие учебники и книги:
Предыдущие статьи:


 


 


Книги, учебники, обучение по разделам




Не нашёл? Найди:





2017-11-20 19:17:26