Лекции по математической логике и теории алгоритмов

Лекции по математической логике и теории алгоритмов [Ч. 3]

Bibliographic Details
Main Author:	Верещагин, Николай Константинович 1958-
Format:	Book
Language:	Russian
Published:	М. Моск. центр непрерыв. мат. образования 2002
Edition:	Изд. 2-е, испр.
Series:	Современные лекционные курсы Математическая теория и теория алгоритмов
Subjects:	Функции (мат.) вычислимые математическая логика алгоритмы учебные пособия для вузов множества разрешимые множества перечислимые функции универсальные множества простые Поста конструкции множества универсальные нумерации теорема о неподвижной точке арифметическая иерархия степени неразрешимости вычислительные модели Тьюринга машины функции рекурсивные задачи по математической логике Мучника-Фридберга теорема множества продуктивные множества m-полные исчисления ассоциативные исчисления двусторонние полугруппы Тарского теорема Геделя теорема кванторы множества рекурсивные рекурсии Аккермана функция алгоритмы вычисляющие
Online Access:	Перейти в каталог НБ ТГУ

Internet

Перейти в каталог НБ ТГУ

Научная библиотека ТГУ: Книгохранилище

Holdings details from Научная библиотека ТГУ: Книгохранилище
Call Number:	1-931518к
	Available Place a Hold

Научная библиотека ТГУ: Читальный зал. Депозитарий

Holdings details from Научная библиотека ТГУ: Читальный зал. Депозитарий
Call Number:	510 В317
	Available Place a Hold