Определимость и вычислимость
 |
|
Описание:
Книга открывает учрежденную в 1995 г. Сибирским фондом алгебры и логики математическую книжную серию <Сибирская школа алгебры и логики> под редакцией академика Ю. Л. Ершова. Все книги серии издаются одновременно на английском языке издательством Plenum Publishing Corporation. Новое доказательство теоремы Гёделя о неполноте, основанное на систематическом использовании формул с ограниченными кванторами. Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами. Избранные темы, посвященные Е-определимости, динамической логике, Е-предикатам конечных типов и т.д. Для научных работников - специалистов по математической логике, алгебре, теоретическому программированию, информатике и смежным специальностям. Доступна аспирантам и студентам университетов.Похожие книги
 | Справочник по высшей математике Автор: М. Я. Выгодский Год: 1956 |
 | Общие принципы квантовой теории поля Автор: Н. Н. Боголюбов, А. А. Логунов, А. И. Оксак, И. Т. Тодоров Год: 1987 |
 | Задача двух неподвижных центров Л. Эйлера Автор: Герасимов И.А. Год: 2007 |
 | Интегральные уравнения. Вариационное исчисление. Методы решения задач Автор: В. Т. Волков, А. Г. Ягола Год: 2007 |
 | Вычислимость и логика Автор: Булос Дж., Джеффри Р. (G.S.Boolos,R.C.Jeffrey) Год: 1994 |
| Случайные возмущения дифференциально-функциональных уравнений Автор: Царьков Е.Ф. Год: 1989 |