Элементы математической логики djvu
Название: Элементы математической логики (издание второе, исправленное)
Автор: Новиков П. С.
Издательство: «Наука», Москва
Год: 1973
Страниц: 400
Формат: DJVU
Размер: 6,3
ПРЕДИСЛОВИЕ КО ВТОРОМУ ИЗДАНИЮ
Интенсивное развитие математической логики в последнее время сопровождается увеличением ее роли в математике. Одной из основных задач математической логики остается анализ оснований математики.
Но в настоящее время она уже вышла из рамок этой задачи и оказала существенное влияние на развитие самой математики. Из ее идей возникло точное определение понятия алгоритма, что позволило решить многие вопросы, которые без этого оставались бы в принципе неразрешимыми. Возникший в математической логике аппарат нашел
приложение в вопросах конструкций вычислительных машин и автоматических устройств.
Со времени выхода в свет первого издания настоящей книги прошло 14 лет. За это время задача ознакомления широкого круга математиков с основами математической логики стала еще более актуальной. В настоящей книге была сделана попытка дать по возможности доступное изложение основ математической логики. Этой задаче посвящены первые пять глав книги, составляющие её основное содержание. Последняя, шестая, глава
носит более специальный характер и уже не является столь элементарной. В ней рассматриваются методы теории доказательства, посредством которых решаются
некоторые вопросы математической логики, возникающие в основном тексте книги.
Настоящее издание по содержанию не отличается от первого издания. В нем исправлены опечатки и заменены устаревшие термины. В частности, удален термин «истинная в данном исчислении формула», который в первом издании использовался как синоним термина «выводимая в данном исчислении формула». Таким образом, исключена возможность смешения этого понятия с содержательной истинностью формул.
Книга не претендует на полноту освещения всех развивающихся в настоящее время важных направлений в математической логике. Некоторые из этих направлений не затронуты вовсе. С разделами математической логики, которые не отражены в настоящей книге, читатель сможет ознакомиться по книгам:
С. К. К л и н и, Введение в метаматематику, ИЛ, 1957.
А. И. Мальцев, Алгоритмы и рекурсивные функции, «Наука», 1965.
А. А. Марков, Теория алгорифмов, Труды Матем. ин-та АН СССР им. В. А. Стеклова, Изд-во АН СССР, 1954.
Э. Мендельсон, Введение в математическую логику, «Наука», 1971.
Скачать с depositfiles.com
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12770 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Лечение водкой
Автор: Татьяна ЛагутинаНазвание: Лечение водкойИздательство: Рипол КлассикГод: 2010Формат: pdfРазмер: 5.1 MbВ настоящем издании собраны лучшие рецепты народных целителей, в состав которых одним из о . . .
-
Мост (аудиокнига)
Название: МостАвтор: Йэн БэнксИздательство: Аудиокнига своими рукамиГод выпуска: 2015Жанр: современная проза, магический реализмАудио кодек: MP3Битрейт аудио: 192 kbpsИсполнитель: Олег БулдаковПрод . . .
-
Колесо времени. Книга 5. Огни небес (Аудиокнига)
Название: Колесо времени. Книга 5. Огни небес (Аудиокнига)Год выпуска: 2015Фамилия автора: ДжорданИмя автора: РобертИсполнитель: AkhnСерия: Колесо времениЖанр: ФэнтезиИздательство: аудиокнига своими р . . .
-
British Cavalry Standards
Издательство: Almark Publishing Co.Автор: Dino LemonofidesЯзык: EnglishГод издания: 1971Количество страниц: 54ISBN: 0-85524-050-4Формат: pdf Размер: 20,2 mbThe general format of this book follows clos . . .
-
Изабелла Баварская (Аудиокнига)
Автор: Дюма АлександрНазвание: Изабелла БаварскаяИсполнитель: Терновский ЕвгенийЖанр: Исторический романИздательство: Нигде не купишьГод издания: 2015Качество: mp3, 96 kbpsДлительность: 16:59:48Размер . . .
-
Живущий (аудиокнига)
Название: ЖивущийАвтор: Анна СтаробинецИздательство: Нигде не купишьГод выпуска: 2014Жанр: фэнтези, мистикаАудио кодек: MP3Битрейт аудио: 96 kbpsИсполнитель: Михаил РосляковПродолжительность: 13:2 . . .
-
Последняя из амазонок (аудиокнига)
Название: Последняя из амазонокАвтор: Стивен ПрессфилдИздательство: Нигде не купишьГод выпуска: 2014Жанр: исторический романАудио кодек: MP3Битрейт аудио: 96 kbpsИсполнитель: Ирина ЕрисановаПродолж . . .
-
Книга Повышение мощности блоков питания
Название: Повышение мощности блоков питания Автор: Михаил Майоров Формат: SATRip Размер: 1170 мб Качество: Отличное Язык: Русский Жанр: Обучающее видео Год издания: 2015 Обычно компьютер производят с . . .
-
Игра в убийство (аудиокнига)
Название: Игра в убийствоАвтор: Найо МаршИздательство: Нигде не купишьГод выпуска: 2014Жанр: иронический детективАудио кодек: MP3Битрейт аудио: 96 kbpsИсполнитель: Юрий ЗаборовскийПродолжительность . . .
-
Похищение. Теодор Бун - маленький юрист (аудиокнига)
Название: Похищение. Теодор Бун - маленький юристАвтор: Джон ГришэмИздательство: Нигде не купишьГод выпуска: 2014Жанр: детективАудио кодек: MP3Битрейт аудио: 96 kbpsИсполнитель: Леонтина БроцкаяПро . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Элементы математической логики djvu. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.