Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982
Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982.
Настоящее издание состоит из четырех книг: «Теория моделей», «Теория множеств», «Теория рекурсии», «Теория доказательств и конструктивная математика». В оригинале оно составляло один том, который при переводе для удобства был разбит на четыре книги, соответствующие четырем частям исходной книги. Русский перевод каждой части дополнен статьей советских авторов, отражающей дополнительные аспекты, не нашедшие отражения в основном тексте издания. Издание в целом рассчитано на всех математиков, начиная со студентов университетов, интересующихся развитием современной математики и логики.
«Справочник по математической логике» является попыткой коллектива математиков рассказать о некоторых современных достижениях в логике. Из многообразия относящихся сюда тем. мы отобрали те, которые затрагивают основные проблемы данной области или особенно важны для применений в математике.
Математическая логика традиционно подразделяется на четыре раздела; теория моделей, теория множеств, теория рекурсии и теория доказательств. При составлении книги за неимением лучшего мы следовали традиционному делению. Это делает расстановку глав, связанных с разными разделами логики, непростой задачей, так что данную расстановку не следует рассматривать как бесспорную. Каждая из четырех частей начинается с короткого предисловия к следующим за ним главам. Первая глава или две первые главы в каждой части носят вводный характер. Далее следуют главы, в которых рассматриваются более специальные вопросы, а также приложения математической логики. Каждая глава написана для тех, кто не является специалистом в данной области. С другой стороны, каждая глава рассчитана на своих собственных читателей, которые меняются от гла-вы к главе. В частности, имеются главы, предназначенные для того, чтобы познакомить работающих в одних областях математической логики с достижениями в других областях.
Мы надеемся, что многие математики приобретут эту книгу из чистого любопытства и перелистают ее, чтобы получить удовольствие (или неудовольствие) от того, что происходит в другой области математики. Трудно представить себе математика, который, потратив десять минут на это, не захотел бы более подробно просмотреть несколько глав и вводных параграфов к другим главам. Это обстоятельство, не представившееся раньше, послужило поводом для написания настоящего справочника.
СОДЕРЖАНИЕ
§ 1. Предисловие
§ 2. Что и как можно выразить в логике первого порядка
§ 3. Формализация логики первого порядка
§ 4. Теорема о полноте
§ 5. За пределами логики первого порядка
Литература
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12927 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
FiletHakeln 67 Diana Special djvu, pdf, jpg 10,81Мб
Название: FiletHakeln 67 Diana SpecialФормат: DjVu, pdf, jpgРазмер: 10.81 MBКоличество страниц: 67Язык: НемецкийНемецкий журнал по вязанию крючком салфеток, занавесок, каймы. В основном в филейной те . . .
-
FiletHakeln 63 Diana Special jpg 10,52Мб
Название: FiletHakeln 63 Diana SpecialФормат: jpgРазмер: 10.52 MBКоличество страниц: 63Язык: НемецкийНемецкий журнал по вязанию крючком салфеток, занавесок, каймы. В основном в филейной технике Скача . . .
-
FiletHakeln 2006 6 jpg 7,94Мб
Название: FiletHakeln 2006 6Формат: jpgРазмер: 7.94 MBКоличество страниц: 32Язык: НемецкийНемецкий журнал по вязанию крючком салфеток, занавесок, каймы. В основном в филейной технике Скачать с deposi . . .
-
Подборка журналов Сабрина №№1-12 2001г djvu 83,2Мб
Название Подборка журналов СабринаГод выпуска/номер: 2001/1-12Формат: djvuЯзык: русскийКачество: хорошееРазмер файла: 83,2мбЖурналы по вязаниюhttp://depositfiles.comhttp://up-file.com . . .
-
Вязание модно и просто №4 (76) 2009 jpeg 7,36Мб
Название: Вязание модно и просто №4 (76) 2009 Страниц: 18Формат: jpegРазмер: 7.36МбЖурнал по вязанию на спицах и крючкомскачать с hotfile.comскачать с depositfiles.com . . .
-
Women Handknit №2460, (2006) djvu в архиве rar 13,5Мб
Название: Журнал "Women Handknit" Год издания: 2006 Выпуск: 2460 (Вязание женских моделей спицами и крючком)Язык: японскийСтраниц: 92Формат: djvu в архиве rarРазмер: 13.5 МбЗамечательный японски . . .
-
Сборник книг Николая Андреева fb2
Название: Сборник книг Николая АндрееваАвтор: Николай АндреевФормат: FB2Размер: 3,8Качество: ОтличноеЯзык: РусскийЖанр: боевая фантастикаГод издания: 2000-2008Содержание:Прекрасный автор, пишущий в ст . . .
-
Mani di Fata №6, 2006 jpeg 9,97Мб
Название: Mani di Fata №6, 2006 Страниц: 28Формат: jpegРазмер: 9.97МбЖурнал по вязанию на спицах и крючкомскачать с hotfile.comскачать с depositfiles.com . . .
-
Журнал мод № 431. Вязание. Новые идеи djvu 8,9Мб
Название: Журнал мод № 431Автор: КоллективИздательство: ОАО "Журнал мод"Год: 2002Страниц: 64Формат: djvuРазмер: 8,9 Мб Язык: русскийПериодический журнал по рукоделию. Тема номера: "Вязание спицами. Но . . .
-
Мастерица № 11 2005 djvu 4,92Мб
Название: Мастерица № 11 2005Автор: КоллективИздательство: Дрим-ТимСтраниц: 31Формат: djvuРазмер: 4,92 Мб Язык: русскийЕжемесячный журнал по вязанию крючком и спицами. Тема номера: "Теплые и уютные в . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Справочная книга по математической логике, Часть 1, Теория моделей, Барвайс Д., 1982. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.