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

Warning: mysql_num_rows() expects parameter 1 to be resource, boolean given in /home/web/naiti.in/lib.php on line 113
Определимость и вычислимость
Автор
 
Год
 
Страниц
 
148
ISBN
 
ISBN10:5881190076
Издатель
 
Научная книга
Искать в интернет библиотекахКупить

Описание:

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

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

Вычислимость и логикаВычислимость и логика
Автор: Булос Дж., Джеффри Р. (G.S.Boolos,R.C.Jeffrey)
Год: 1994
Планиметрия. Пособие для углубленного изучения математикиПланиметрия. Пособие для углубленного изучения математики
Автор: Бутузов В.Ф., Кадомцев С.Б. и др.
Год: 2005
Общие принципы квантовой теории поляОбщие принципы квантовой теории поля
Автор: Н. Н. Боголюбов, А. А. Логунов, А. И. Оксак, И. Т. Тодоров
Год: 1987