Определимость и вычислимость
Автор: Ершов Ю.Л.
Название: Определимость и вычислимость
Издательство: Новосибирск, Научная книга; М., Экономика
Год: 1996
Формат: DjVu
Размер: 2,21 Mb
Качество: Отсканированные страницы
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
Скачать с depositfiles.com
Скачать с turbobit.net
Скачать с letitbit.net
| Рейтинг: | 4.8 баллов / 2537 оценок |
| Формат: | Книга |
| Уже скачали: | 12836 раз |
Похожие Книги
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
-
Магистр
Название: МагистрАвтор: Сергей АрзумановИздательство: БосленISBN: 978-5-91187-089-8Год издания: 2009Страниц: 176Язык: РусскийФормат: fb2Размер: 1.04 МбОписание:Он был любимцем богов и женщин, жизнь кр . . .
-
Жан-Жак Руссо Юлия, или Новая Элоиза
Жан-Жак Руссо "Юлия, или Новая Элоиза"Книга Руссо - манифест свободы чувства; подлинный манифест, в котором записаны золотые слова: `Пусть же люди занимают положение по достоинству, а союз сердец пуст . . .
-
Сборник - Веселые страницы. Юмористическая хрестоматия
Сборник - Веселые страницы. Юмористическая хрестоматияАвторы: Аверченко А. Т.,Андреев Л. Н.,Джером К. Джером,Куприн А. И.,Тэффи,Вебер Макс,Корчак Я.,Боккаччо Джованни,Дорошевич В. М.,Франс А.,Будищев . . .
-
Ирина Малкина-Пых - Психологическая помощь близким
Ирина Малкина-Пых - Психологическая помощь близкимКризисы и потери часть нашей жизни и жизни наших близких. Потери могут быть большими и маленькими, личными и глобальными, изменяющими жизнь или почти . . .
-
Джо Данторн Субмарина
Джо Данторн "Субмарина"Как начать с поцелуя и дойти до всего остального? Что делать с мамой, занимающейся бог знает чем со знакомым престарелым хиппи в отсутствие папы? Как спасти этого самого папу от . . .
-
Стрижонок Скрип
Название: Стрижонок СкрипАвтор: Астафьев В.Издательство: Детская литератураГод: 1982Страниц: 36Формат: DjvuРазмер: 3,38 МбОт автора: В этой книжке я вспомнил и рассказал всего лишь о трёх разных птица . . .
-
Дональд Спото Мэрилин Монро
Дональд Спото "Мэрилин Монро"Мэрилин Монро и сейчас является признанным секс-символом, ничуть не утратившим своей магической привлекательности и продолжающим оставаться объектом всеобщего поклонения. . . .
-
Баскакова М + Березкина-Орлова В - Телесно-ориентированная психотехника актера
Баскакова М + Березкина-Орлова В - Телесно-ориентированная психотехника актераПредставляемый вид тренинга может рассматриваться как разновидность 'телесно-ориентированных' тренингов. Основной целью тр . . .
-
Сожженная заживо
Автор: СуадИздательство: РИПОЛ классикГод: 2006Cтраниц: 271Формат: docРазмер: 1,5 мбISBN: 5-7905-4435-5Качество: хорошееЯзык: русскийОписание:Эта книга, переведенная на многие языки, представляет собо . . .
-
Эндрю Николл Добрый мэр
Эндрю Николл "Добрый мэр""Добрый мэр" - волшебный роман начинающего писателя Эндрю Николла, история любви и о любви.Действие происходит в маленьком городке под названием Дот, что находится во всеми по . . .
Вы не зарегистрированы!
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
Отзывы читателей
Ой!
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Определимость и вычислимость. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.