Автор: Ершов Ю.Л.
Название: Определимость и вычислимость
Издательство: Новосибирск, Научная книга; М., Экономика
Год: 1996
Формат: DjVu
Размер: 2,21 Mb
Качество: Отсканированные страницы
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
Скачать с depositfiles.com
Скачать с turbobit.net
Скачать с letitbit.net
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12859 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Информация о фильме: Название: Биоваскулярный массаж телаГод выпуска: 2010Страна: РоссияЖанр: массажПродолжительность: 91:34Биоваскулярный массаж тела. Мягкая техника воздействий на венозное . . .
Информация о фильме: Название: Краниосакральная терапияГод выпуска: 2005Страна: РоссияЖанр: массаж, медицинаПродолжительность: 3:00:24Фильм "Краниосакральная терапия" - это третья час . . .
Информация о фильме: Название: Краниосакральная терапияГод выпуска: 2005Страна: РоссияЖанр: массаж, медицинаПродолжительность: 2:58:10Фильм "Краниосакральная терапия"- это вторая часть семина . . .
Название: Земля Элиона. Книга 1. Тайна Тёмных холмовАвтор: Патрик КэрменИздательство: Нигде не купишьГод выпуска: 2011Жанр: для детей, фэнтезиАудио кодек: MP3Битрейт аудио: 128 kbpsИсполнитель: Вяч . . .
Роман "Гонконг" завершает цикл романов об исторической миссии адмирала Путятина, отправившегося в середине XIX века в Японию для установления дипломатических отношений. Не все русские моряки смогли ср . . .
Название: Движение и обеспыливание газов в цементном производствеАвтор: Сатарин В.И., Перли С.Б. Издательство: Государственное издательство литературы по строительству, архитектуре и строительным мате . . .
Видеокурс Защита блога на CMS WordPress автор покажет как лучше обеспечить безопасность вашего блога под управлением cms wordpress так как побеспокоиться о охране блога нужно с самого истока, с момент . . .
Детский видеоурок по восстановлению зрения специально разработан для детей, а также их родителей. Состоит из 7 упражнений. Общая продолжительность 20-30 минут. Упражнения рекомендуется выполнять один . . .
Системно излагаются вопросы теории, законодательные основы, понятийный аппарат, практические методы и приемы управления финансами в страховом бизнесе. Изложены общие принципы организации и работы стра . . .
Название: Джонатан Свифт. ПамфлетыАвтор: Джонатан СвифтИздательство: Государственное издательство художественной литературыГод издания: 1955Язык: русскийCтраниц: 332Формат: PDFРазмер: 13,3 МБОписание: . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Определимость и вычислимость. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.