Бесплатная библиотека - 1 338 003 изданий в библиотеке

Математическая логика

Книга Математическая логика


Название: Математическая логика
Автор: Колмогоров А.Н., Драгалин А.Г.
Год издания: 2006
Издательство: КомКнига
ISBN: 5-484-00520-5
Страниц: 240
Формат: DJVU
Размер: 3,4 Мб (+3%)
В настоящее издание включены два учебника А. Н. Колмогорова и А. Г. Драгалина «Введение в математическую логику» и «Математическая логика. Дополнительные главы», ранее издававшиеся по отдельности. Они содержат классическое изложение понятий и результатов математической логики с элементами теории множеств, теории алгоритмов и оснований математики. Учебники написаны на основании курса математической логики, читавшегося обоими авторами на механико-математическом факультете МГУ им. М. В. Ломоносова.
Изложение фундаментальных фактов современной логики (основ логики высказываний и логики предикатов, начал аксиоматической теории множеств, теории алгоритмов, теоремы Гёделя о неполноте, программы Гильберта обоснования математики) не предполагает специальной подготовки и рассчитано на широкий круг читателей, интересующихся математической логикой и философскими проблемами современной математики.
Depositfiles.com
Turbobit.net

Рейтинг: 4.8 баллов / 2537 оценок
Формат: Книга
Уже скачали: 12841 раз

Похожие Книги

Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!

  • Книга Кристаллы в науке и технике

    Кристаллы в науке и технике

    Автор: Алексей Васильевич ШубниковНазвание: Кристаллы в науке и техникеИздательство: АН СССРГод: 1958Страниц: 53Формат: DJVUРазмер: 8 МБКачество: Отличное, 600дпи, цветные обложки и иллюстрацииБрошюр . . .

  • Книга Русские провидцы и предсказатели

    Русские провидцы и предсказатели

    Название: Русские провидцы и предсказателиАвтор: Филякова Е., Меньшов В.Издательство: Рипол КлассикГод: 2007Страниц: 480Формат: fb2 rtfРазмер: 1,4 mbВ России было много провидцев, прозорливцев, предск . . .

  • Книга Embroidery pour le Jardinier

    Embroidery pour le Jardinier

    Издательство: Harper DesignАвтор: Sylvie BlondeauНазвание: Embroidery pour le Jardinier: 100 French Designs for the GardenerГод: 2013 Страниц: ISBN: 978-0062222657Язык: АнглийскийФормат: jpg Размер: . . .

  • Книга Пять Тибетских Жемчужин

    Пять Тибетских Жемчужин

    Название: Пять Тибетских ЖемчужинАвтор: К.С. КилхэмИздательство: СофияISBN: 5-9550-0810-1Год: 2006Страниц: 114Формат: DjVuРазмер: 3,27 МбКо всем, кто практикует Тибетские Ритуалы Омоложения Питера Кэл . . .

  • Книга Как влюбить в себя воина. Факты и реальность

    Как влюбить в себя воина. Факты и реальность

    Название: Как влюбить в себя воина. Факты и реальностьАвтор: Диана ОльховицкаяИздательство: Альфа-книгаГод: 2013Формат: FB2, RTFРазмер: 10,47 МбКачество: ХорошееЯзык: РусскийПрактическое пособие. Испы . . .

  • Аудиокнига Столетняя война. Леопард против лилии (аудиокнига)

    Столетняя война. Леопард против лилии (аудиокнига)

    Автор: Басовская НаталияНазвание: Столетняя война. Леопард против лилииИздательство: АудиокнигаЖанр: ИсторияГод: 2013Формат: MP3Битрейт аудио: 128 kbpsИсполнитель: Петр КоршунковВремя звучания: 11:40: . . .

  • Аудиокнига Этот неБРЕДсказуемый мир (аудиокнига)

    Этот неБРЕДсказуемый мир (аудиокнига)

    Автор: Задорнов МихаилНазвание: Этот неБРЕДсказуемый мирИздательство: АудиокнигаЖанр: Юмористическая прозаГод: 2013Формат: MP3Битрейт аудио: 128 kbpsИсполнитель: Владимир КачанВремя звучания: 15:33:11 . . .

  • Книга Новый мир

    Новый мир

    Название: Новый мирАвтор: Павел Шек Год издания: 2013Издательство: АЛЬФА-КНИГАISBN: 978-5-9922-1569-4Страниц: 314Формат: RTF,FB2Размер: 11,0 Мб (+3%)Попа . . .

  • Книга PADI курс OPEN WATER DIVER (Погружения с аквалангом в открытой воде)

    PADI курс OPEN WATER DIVER (Погружения с аквалангом в открытой воде)

    Название: PADI курс OPEN WATER DIVER (Погружения с аквалангом в открытой воде)Автор: PADIИздательство: PADIСтраниц: 269Формат: djvuРазмер: 13 мбКачество: приемлимое . . .

  • Книга Pro Data Visualization using R and JavaScript

    Pro Data Visualization using R and JavaScript

    Автор: Tom BarkerНазвание: Pro Data Visualization using R and javascriptИздательство: ApressISBN : 978-1-4302-5806-3Год: 2013Количество страниц: 207Формат: PDFРазмер: 12 MbЯзык: EnglishPro Data . . .

Вы не зарегистрированы!

Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.

Войти Регистрация

Отзывы читателей

Ой!

К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Математическая логика. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.