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

Вычислимость и логика

Книга Вычислимость и логика

Название: Вычислимость и логика
Автор: Булос Дж., Джеффри Р.
Издательство: М.: Мир
Год: 1994
Страниц: 396
Формат: djvu
Размер: 10.10 Мб
ISBN: 5-03-003067-0
Качество: хорошее
Обложка от американского издания!
Книга известных американских математиков, являющаяся в настоящее время одной из наиболее известных в США книг по математической логике, выдержавшая там три издания (1974, 1980, 1989 гг.). В ней содержатся начала и некоторые дополнительные главы математической логики, последовательно и строго излагаются классические теоремы о неразрешимости логики предикатов и разрешимости некоторых ее фрагментов, знаменитые теоремы Гёделя о полноте, нестандартные модели и многое другое. Материал дополнен упражнениями.
Для всех, кто интересуется математической логикой, а также информатикой, философией и лингвистикой.
Скачать с ifolder.ru
Скачать с depositfiles.com
Скачать с rapidshare.com
Скачать с letitbit.net Как скачать книгу с сайта letitbit.net?
Как бесплатно скачивать книги с сервера rapidshare.com?
Программа для чтения файлов в формате djvu

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

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

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

  • Книга Морской словарь, содержащiй объясненiе всѣхъ названiй, употребляемыхъ въ морскомъ искусствѣ – (том 3)

    Морской словарь, содержащiй объясненiе всѣхъ названiй, употребляемыхъ въ морскомъ искусствѣ – (том 3)

    Название: Морской словарь, содержащiй объясненiе всѣхъ названiй, употребляемыхъ въ морскомъ искусствѣ – (том 3) Автор: Шишковъ А. С. Издательство: Типографiя Императорской Россiйской . . .

  • Книга Безопасное управление автомобилем

    Безопасное управление автомобилем

    Автор:Клочанов Н. И.Название: Безопасное управление автомобилемИздательство: ФениксГод: 2003Формат: pdfРазмер: 2,7 МбВ книге даны три варианта обучения кандидата в водители, подготовки автомобиля к ег . . .

  • Книга Е.А.Зильберсдорф. Воспитание духа в 2-х частях

    Е.А.Зильберсдорф. Воспитание духа в 2-х частях

    Название: Е.А.Зильберсдорф. Воспитание духа в 2-х частях Автор: Е.А.Зильберсдорф Издательство: Мир Огненный Страниц: 140 Формат: PDF Размер: 1,71 мб Качество: Отличное Язык: Русский Год издания: 2001 . . .

  • Книга Гонсалес-Уиплер М. Храм Истины. В преддверии рассвета

    Гонсалес-Уиплер М. Храм Истины. В преддверии рассвета

    Название: Гонсалес-Уиплер М. Храм Истины. В преддверии рассвета Автор: Гонсалес-Уиплер М. Издательство: Сфера Страниц: 242 Формат: PDF Размер: 5,1 мб Качество: Отличное Язык: Русский Год издания: 1999 . . .

  • Книга Книга чисел Кайро. Шифр вашей судьбы

    Книга чисел Кайро. Шифр вашей судьбы

    Название: Книга чисел Кайро. Шифр вашей судьбы Автор: Хамон Луис Издательство: Центрполиграф Страниц: 224 Формат: RTF Размер: 11,75 мб Качество: Отличное Язык: Русский Год издания: 2009 ISBN: 978-5-95 . . .

  • Книга Картография

    Картография

    Автор: Берлянт А.М.Название: КартографияИздательство: М.: Аспект ПрессГод: 2002Формат: pdfРазмер: 38.23 MbВ книге дается современная трактовка картографии как науки и техники с учетом новых достижений . . .

  • Книга Ваш гороскоп и ваши звезды

    Ваш гороскоп и ваши звезды

    Название: Ваш гороскоп и ваши звезды Автор: Хамон Луис Издательство: Центрполиграф Страниц: 336 Формат: RTF Размер: 10,19 мб Качество: Отличное Язык: Русский Год издания: 2009 ISBN: 978-5-9524-4423-2 . . .

  • Книга Дружок правила по математике.

    Дружок правила по математике.

    Пособие содержит основные темы по математике из программы начальных классов.Книга оформлена как занимательный справочник, в котором легко найти нужный материал. Справочник рекомендован школьникам и ро . . .

  • Книга Introduction to Plant Physiology 4th. / Введение в физиологию растений 4-е изд.

    Introduction to Plant Physiology 4th. / Введение в физиологию растений 4-е изд.

    Название: Introduction to Plant Physiology 4th. / Введение в физиологию растений 4-е изд. Автор: Hopkins W., Hüner N. / Хопкинс В., Хюнер Н. Издательство: Wiley Формат: PDF Размер: 17,7 mb Качест . . .

  • Книга Машиностроительная гидравлика. Примеры расчетов

    Машиностроительная гидравлика. Примеры расчетов

    Название: Машиностроительная гидравлика. Примеры расчетовАвтор: Вакина В.В., Денисенко И.Д., Столяров А.Л.Издательство: Высшая школаГод: 1987Страниц: 208Формат: DJVUРазмер: 9,8 Мб (+3%)В учебном пособ . . .

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

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

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

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

Ой!

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