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