Определимость и вычислимость


Книга Определимость и вычислимость



Автор: Ершов Ю.Л.
Название: Определимость и вычислимость
Издательство: Новосибирск, Научная книга; М., Экономика
Год: 1996
Формат: DjVu
Размер: 2,21 Mb
Качество: Отсканированные страницы


Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.


Скачать с depositfiles.com

Скачать с turbobit.net

Скачать с letitbit.net

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



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

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

  • Книга Сергей Щуревич - Биоваскулярный массаж тела. (2010 / DVDRip)

    Сергей Щуревич - Биоваскулярный массаж тела. (2010 / DVDRip)

    Информация о фильме: Название: Биоваскулярный массаж телаГод выпуска: 2010Страна: РоссияЖанр: массажПродолжительность: 91:34Биоваскулярный массаж тела. Мягкая техника воздействий на венозное . . .

  • Книга Л.Ф.Васильева - Краниосакральная терапия, часть 3. (2005 / DVDRip)

    Л.Ф.Васильева - Краниосакральная терапия, часть 3. (2005 / DVDRip)

    Информация о фильме: Название: Краниосакральная терапияГод выпуска: 2005Страна: РоссияЖанр: массаж, медицинаПродолжительность: 3:00:24Фильм "Краниосакральная терапия" - это третья час . . .

  • Книга Л.Ф.Васильева - Краниосакральная терапия, часть 2. (2005 / DVDRip)

    Л.Ф.Васильева - Краниосакральная терапия, часть 2. (2005 / DVDRip)

    Информация о фильме: Название: Краниосакральная терапияГод выпуска: 2005Страна: РоссияЖанр: массаж, медицинаПродолжительность: 2:58:10Фильм "Краниосакральная терапия"- это вторая часть семина . . .

  • Журнал Патрик Кэрмен. Земля Элиона. Книга 1. Тайна Темных холмов (аудиокнига)

    Патрик Кэрмен. Земля Элиона. Книга 1. Тайна Темных холмов (аудиокнига)

    Название: Земля Элиона. Книга 1. Тайна Тёмных холмовАвтор: Патрик КэрменИздательство: Нигде не купишьГод выпуска: 2011Жанр: для детей, фэнтезиАудио кодек: MP3Битрейт аудио: 128 kbpsИсполнитель: Вяч . . .

  • Книга Задорнов Николай - Гонконг (аудиокнига)

    Задорнов Николай - Гонконг (аудиокнига)

    Роман "Гонконг" завершает цикл романов об исторической миссии адмирала Путятина, отправившегося в середине XIX века в Японию для установления дипломатических отношений. Не все русские моряки смогли ср . . .

  • Книга Движение и обеспыливание газов в цементном производстве

    Движение и обеспыливание газов в цементном производстве

    Название: Движение и обеспыливание газов в цементном производствеАвтор: Сатарин В.И., Перли С.Б. Издательство: Государственное издательство литературы по строительству, архитектуре и строительным мате . . .

  • Книга Видеокурс Защита блога на CMS WordPress (2011)

    Видеокурс Защита блога на CMS WordPress (2011)

    Видеокурс Защита блога на CMS WordPress автор покажет как лучше обеспечить безопасность вашего блога под управлением cms wordpress так как побеспокоиться о охране блога нужно с самого истока, с момент . . .

  • Книга Видеоуроки по улучшению детского зрения (2011) SATRip

    Видеоуроки по улучшению детского зрения (2011) SATRip

    Детский видеоурок по восстановлению зрения специально разработан для детей, а также их родителей. Состоит из 7 упражнений. Общая продолжительность 20-30 минут. Упражнения рекомендуется выполнять один . . .

  • Книга Финансовый менеджмент в страховании

    Финансовый менеджмент в страховании

    Системно излагаются вопросы теории, законодательные основы, понятийный аппарат, практические методы и приемы управления финансами в страховом бизнесе. Изложены общие принципы организации и работы стра . . .

  • Книга Джонатан Свифт. Памфлеты

    Джонатан Свифт. Памфлеты

    Название: Джонатан Свифт. ПамфлетыАвтор: Джонатан СвифтИздательство: Государственное издательство художественной литературыГод издания: 1955Язык: русскийCтраниц: 332Формат: PDFРазмер: 13,3 МБОписание: . . .


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

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

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


Ой!

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