Лекции по математической логике и теории алгоритмов [Ч. 3] Н. К. Верещагин, А. Шень
Material type: TextLanguage: Russian Series: Современные лекционные курсыPublication details: М. Моск. центр непрерыв. мат. образования 2002Edition: Изд. 2-е, испрDescription: 189 с. 20 смISBN: 5900916391Other title: Вычислимые функции [Distinctive title]Subject(s): Функции (мат.) вычислимые | математическая логика | алгоритмы | учебные пособия для вузов | множества разрешимые | множества перечислимые | функции универсальные | множества простые | Поста конструкции | множества универсальные | нумерации | теорема о неподвижной точке | арифметическая иерархия | степени неразрешимости | вычислительные модели | Тьюринга машины | функции рекурсивные | задачи по математической логике | Мучника-Фридберга теорема | множества перечислимые | множества продуктивные | множества m-полные | исчисления ассоциативные | исчисления двусторонние | полугруппы | Тарского теорема | Геделя теорема | кванторы | множества рекурсивные | рекурсии | Аккермана функция | алгоритмы вычисляющиеOther classification: 22.19Item type | Current library | Call number | Status | Date due | Barcode |
---|---|---|---|---|---|
Выдается в читальный зал | Книгохранилище | 1-931518к (Browse shelf (Opens below)) | Available | 13820000500359 | |
1 месяц | Читальный зал. Депозитарий | 510 В317 (Browse shelf (Opens below)) | Available | 13820000500360 |
На обл. авт. не указаны
Загл. обл.: Вычислимые функции
Библиогр.: с. 179-180
Указ. предм. и имен.: с. 181-189
There are no comments on this title.