|
|
Автор: Кушнер Б.А.
Год: 1973
Издание:
Главная редакция физико-математической литературы издательства Наука
Страниц: 448
ISBN: [не указан]
За последние годы получила заметное развитие идея построения математического анализа на базе современной теории алгорифмов. Такое построение, отличаясь от традиционного простотой и интуитивной убедительностью исходных концепций, вместе с тем значительно лучше учитывает реальные вычислительные возможности. В предлагаемой монографии в рамках конструктивного направления последовательно излагается система вычислимого анализа, развитая в СССР за последние 20 лет. Книга дает отчетливое представление о характере и свойствах таких понятий, как вычислимое действительное число, вычислимая действительная функция и т.д. Большой интерес представляют также точные постановки и доказательства неразрешимости ряда алгорифмических проблем анализа. Значительная часть материала освещается в мировой монографической литературе впервые. Книга может быть рекомендована как специалистам в области математической логики и оснований математики, так и более широкому кругу читателей, работающих в...
|
|
Кушнер Б.А.Лекции по конструктивному математическому анализу
Виленкин Н.Я.Задачник по курсу математического анализа (Часть 2)