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