Книга посвящена доказательству существования невычислимых функций и алгоритмически неразрешимых задач. Обсуждаются проблемы оценки сложности вычислений и алгоритмов.
Книга будет полезна широкому кругу специалистов, занимающихся проблемами машинного перевода, искусственного интеллекта, общего использования ЭВМ.
ЭЛЕМЕНТЫ РЕКУРСИВНОЙ ГЕОМЕТРИИ.
5.1. Основные объекты современных геометрических дисциплин (дифференциальная, аналитическая, алгебраическая геометрии) определяются как пары <множество, совокупность частичных функций на нем>, удовлетворяющие тем или иным аксиомам. Это — новое воплощение старой идеи о том, что математика изучает «числа и фигуры».
Множества определения частичных функций рассматриваемого типа, как правило, открыты в подходящей топологии, а сами функции образуют на этой топологии пучок.
В этом параграфе мы прослеживаем аналогии между теорией рекурсивных функций и более классическими геометриями. Читатель, не знакомый с языком топологии и теории пучков, может пропускать упоминания о них и следить лишь за точными утверждениями о свойствах рекурсивных объектов.
Бесплатно скачать электронную книгу в удобном формате, смотреть и читать:
Скачать книгу Вычислимое и невычислимое, Манин Ю.И., 1980 - fileskachat.com, быстрое и бесплатное скачивание.
Скачать pdf
Ниже можно купить эту книгу по лучшей цене со скидкой с доставкой по всей России.Купить эту книгу
Скачать - pdf - Яндекс.Диск.
Дата публикации:
Теги: учебник по информатике :: информатика :: компьютеры :: Манин
Смотрите также учебники, книги и учебные материалы:
Следующие учебники и книги:
- Стандарты информационной безопасности, Защита и обработка конфиденциальных документов, Сычев Ю.Н., 2017
- Архитектура вычислительных систем и компьютерных сетей, Степанов А.Н., 2007
- Архитектура компьютеров, Буза М.К., 2006
- Архитектуры вычислительных систем, Сергеев С.Л., 2010
Предыдущие статьи:
- Теория информации, Лидовский В.В., 2004
- Введение в архитектуру ЭВМ и системы программирования, Баула В.Г., 2003
- Моделирование и графика, 10 класс, Рулиева Л.Ф., Волкова С.Е., 2013
- Технологии разработки программного обеспечения, Орлов С., 2002