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

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




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

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

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



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

Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу


Скачать - pdf - Яндекс.Диск.




Теги: учебник по информатике :: информатика :: компьютеры :: Манин