| начало | написать нам | в избранное | сделать стартовой |
ДЛЯ РАБОТЫ С БАЗАМИ ОГРАНИЧЕННОГО ДОСТУПА ТРЕБУЕТСЯ АВТОРИЗАЦИЯ
ДАННАЯ ВЕРСИЯ СИСТЕМЫ НЕ ПОДДЕРЖИВАЕТСЯ!!! БАЗЫ НЕ ОБНОВЛЯЮТСЯ!!! ПОЛЬЗУЙТЕСЬ НОВОЙ ВЕРСИЕЙ ПОИСКОВОЙ СИСТЕМЫ!!! >>>

Базы данных


Сводный каталог библиотек (СГУ, СГТУ, ЦБС) - результаты поиска

Виды поиска

Область поиска
Формат представления найденных документов:
полныйинформационныйкраткий
Поисковый запрос: (<.>KL=определимость<.>)
Общее количество найденных документов : 1
1.

    Ершов, Ю. Л.
    Определимость и вычислимость [Текст] / Ю. Л. Ершов. - 2-е изд.,испр.и доп. - М. : Экономика, 2000. - 318 с. ; 20см. - ISBN 5282020211 : 62.00 р.
ГРНТИ
УДК
ББК 22.19

Рубрики: Математика--Вычислительная математика

Кл.слова (ненормированные):
математика -- вычислительная математика -- определимость -- вычислимость -- ограниченные кванторы -- теория допустимых множеств -- теорема Гёделя -- теорема о неполноте -- теорема Ганди -- динамическая логика
Аннотация: Новое доказательство теоремы Геделя о неполноте,основанное на систематическом использовании формул с ограничеснными кванторами.Новое изложение (на основе теоремы Ганди) теории допустимых множеств с праэлементами.Для научных работников,аспирантов,студентов.
Держатели документа:
Саратовский государственный технический университет им. Гагарина Ю. А.
Найти похожие

 
Авторизация
Фамилия
Пароль
 
Заявка на регистрацию в ЭБС

Возникли проблемы? Пишите на oma@info.sgu.ru
© Международная Ассоциация пользователей и разработчиков электронных библиотек и новых информационных технологий
(Ассоциация ЭБНИТ)