Поиcк по сайту by Google


Rambler's Top100
Образование Крыму » Математика » Математическая логика - Шенфилд Дж.

Математическая логика - Шенфилд Дж.

Скачать
Название: Математическая логика
Автор: Шенфилд Дж.
Категория: Математика
Тип: Книга
Дата: 11.01.2009 19:49:52
Скачано: 660
Оценка:
Описание: В настоящее время интерес к математической логике и теории алгоритмов непрерывно растет. Все большее число высших учебных заведений включает в обязательную программу обучения курсы математической логики, теории алгоритмов или их фрагменты. Специалисты в области ЭВМ начинают осознавать, что эти разделы математики являются фундаментом для построения настоятельно необходимой сейчас хорошей теории математического обеспечения и теории вычислений. Многие специалисты далеких от математики разделов науки начинают сознательно знакомиться с достижениями математической логики. За последние годы вышли переводы многих хороших книг по математической логике и теории алгоритмов, однако ни эти переводы, ни довольно бедный ассортимент отечественных книг не могут полностью удовлетворить запросы читателей. Предлагаемая вниманию читателей книга сочетает в себе (относительную) простоту изложения с почти энциклопедической полнотой содержания. Ее выход в русском переводе будет полезен широкому кругу советских читателей. Книга Дж. Щенфилда «Математическая логика» вышла в США в 1967 г. и в настоящее время, после прошествия семи лет, становится ясным, что она завоевала постоянные симпатии специалистов и стала, в определенном смысле, «канонической» книгой. Это проявляется, например, в том, что ссылки на нее в журнальных статьях делаются чаще, чем на какие-нибудь другие систематические изложения основ математической логики. Чем это можно объяснить? Прежде всего краткостью, полнотой и тщательностью отбора материала. Полнота изложения книги весьма впечатляюща. При сравнительно небольшом объеме она содержит практически все теоремы, заслужившие всеобщее признание специалистов, в области математической логики, теории моделей и теории алгоритмов. Так, например, книга
Файл: 5.55 МБ
Скачать