Автор: Ершов Ю.Л.
Название: Определимость и вычислимость
Издательство: Новосибирск, Научная книга; М., Экономика
Год: 1996
Формат: DjVu
Размер: 2,21 Mb
Качество: Отсканированные страницы
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию «Сибирская школа алгебры и логики» под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation.
Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д.
Для научных работников — специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.
Скачать с depositfiles.com
Скачать с turbobit.net
Скачать с letitbit.net
Рейтинг: | 4.8 баллов / 2537 оценок |
Формат: | Книга |
Уже скачали: | 12858 раз |
Нам показалось, что Книги ниже Вас заинтересуют не меньше. Эти издания Вы так же можете скачивать и читать совершенно бесплатно на сайте!
Название: Юный радиолюбитель. Выпуск 607.Автор: Борисов В.Г., Отряшенков Ю.М.Издательство: ЭнергияГод: 1966Страниц: 576Формат: djvuКачество: ХорошееЯзык: РусскийРазмер: 18,68 мбКнига предназначена для . . .
Название: Энциклопедия «Русский язык»Автор: гл. редактор Ю.Н. КарауловГод выпуска: 1997Издательство: Большая Российская энциклопедия / ДрофаЯзык: РусскийФормат: DJVUКачество: ХорошееISBN: Серия: Стран . . .
Название: Практика рассмотрения коммерческих споров. Анализ и комментарии постановлений Пленума и обзоров Президиума Высшего Арбитражного Суда Российской Федерации. Выпуск 3Автор: Л. А. Новоселова, К . . .
Автор: Robert E. EnglekirkНазвание: Seismic Design of Reinforced Издательство: WileyГод: 2003Формат: PDF Размер: 16,9 MBSeismic Design of Reinforced and Precast Concrete Buildings explores a comprehen . . .
Автор: Салмина Н.Г.Название: Знак и символ в обученииИздательство: Издательство МГУ, Москва, 1988Страниц: 288Формат: djvuРазмер: 1.66 Mb Знаки и символы повсюду окружают человека. Ребенок, рождаяс . . .
Название: Основы биохимии растенийАвтор: Филипцова Г. Г, Смолич И.И.Издательство: БГУГод:2004Страниц:136Формат:djvuРазмер:3,7 МбКачество:хорошееЯзык:русскийКурс лекций для студентов биологических факу . . .
Название: Allegorical Architecture. Living Myth and Architectonics in Southern ChinaАвтор: Xing RuanИздательство: University of Hawaii PressГод: 2007Страниц: 219ISBN: 0824821513Формат: pdfРазмер: 11 М . . .
Очень интересное произведение от классика современной боевой и юмористической фантастики. Вся Земля превращена в поле боя, который ведут две враждующие стороны. Все военные действия выполняют роботы, . . .
Палеонтология и эволюция позвоночныхКнига известного канадского ученого - наиболее полное и современное руководство по палеонтологии в мировой литературе.Рассматриваются палеонтология и эволюция репти . . .
Автор: Лазарев А.ГНазвание: Технология проектирования гражданских зданийИздательство: ФениксГод: 2007ISBN: 978-5-222-11235-9Страниц: 288Формат: djvu (rar+3%)Размер: 6.12 МБСправочное пособие по основн . . .
Если вы хотите скачивать книги, журналы и аудиокниги бесплатно, без рекламы и без смс, оставлять комментарии и отзывы, учавствовать в различных интересных мероприятиях, получать скидки в книжных магазинах и многое другое, то Вам необходимо зарегистрироваться в нашей Электронной Библиотеке.
К сожалению, в нашей Бесплатной Библиотеке пока нет отзывов о Книге Определимость и вычислимость. Помогите нам и другим читателям окунуться в сюжет Книги и узнать Ваше мнение. Оставьте свой отзыв или обзор сейчас, это займет у Вас всего-лишь несколько минут.