М 23 Манин, Ю. И. Вычислимое и невычислимое [Текст] : научное издание / Ю.И. Манин. - Москва : "Советское радио", 1980. - 128 с. : ил. ; 20 см. - Библиогр.: с.123 . -Имен. указ.: с.125. -Предм. указ.: с. 125. - 25 000 экз.. - 0.45 р.
Кл.слова (ненормированные): РЕКУРСИВНЫЕ -- ФУНКЦИИ -- АЛГОРИТМ -- ДИОФАНТОВЫ МНОЖЕСТВА -- НЕРАЗРЕШИМОСТЬ -- СЛОЖНОСТЬ ПО КОЛМОГОРОВУ -- СЛУЧАЙНОСТЬ -- ВЕРСАЛЬНЫЕ СЕМЕЙСТВА -- ФОРМАЛЬНЫЕ ЯЗЫКИ -- ВЫЧИСЛИМОСТЬ -- теорема Геделя -- принцип неполноты ~Экземпляры всего: 1 ТО (1) Свободны: ТО (1) |
Е 80 Ершов, Юрий Леонидович. Проблемы разрешимости и конструктивные модели [Текст] / Ю. Л. Ершов. - Москва : Наука Главная редакция Физико-математической литературы, 1980. - 416 с. : ил. ; 20 см. - (Математическая логика и основания математики). - Библиография: с. 397-409. - Предметный указатель: с. 412-415. - 5450 экз.. - (в пер.) : 3.10 р. Рубрики: Высшая алгебра--Разрешимость и неразрешимость элементарных теорий--Конструктивные модели ~Экземпляры всего: 1 КХР (1) Свободны: КХР (1) |