Добро пожаловать в клуб

Показать / Спрятать  Домой  Новости Статьи Файлы Форум Web ссылки F.A.Q. Логобург    Показать / Спрятать

       
Поиск   
Главное меню
ДомойНовостиСтатьиПостановка звуковФайлыКнижный мирФорумСловарьРассылкаКаталог ссылокРейтинг пользователейЧаВо(FAQ)КонкурсWeb магазинКарта сайта

Поздравляем!
Поздравляем нового Логобуржца alenka.aleks со вступлением в клуб!

Реклама

КНИЖНЫЙ МИР

конструктивная математическая логика с точки зрения классической  

конструктивная математическая логика с точки зрения классической

Математическая логика и основания математики
84x108/32 447 страниц. 1977 год.
Главная редакция физико-математической литературы издательства "Наука"
В середине XX века получила заметное развитие идея построения математического анализа на базе современной теории алгорифмов. Такое построение, отличаясь от традиционного простотой и интуитивной убедительностью исходных концепций, вместе с тем значительно лучше учитывает реальные вычислительные возможности. В предлагаемой монографии в рамках конструктивного направления последовательно излагается система вычислимого анализа. Книга дает отчетливое представление о характере и свойствах таких понятий, как вычислимое действительное число, вычислимая действительная функция и т.д. Большой интерес представляют также точные постановки и доказательства неразрешимости ряда алгорифмических проблем анализа. Значительная часть материала освещается в мировой монографической литературе впервые. Книга может быть рекомендована как специалистам в области математической логики и оснований математики, так и более широкому кругу читателей, работающих в области вычислительной математики и...
 
- Генерация страницы: 0.03 секунд -