Вычислимость. Введение в теорию рекурсивных функций: пер. с англ.

Manylion Llyfryddiaeth
Prif Awdur:	Катленд Н. Найджел
Awduron Eraill:	Маслов С. Ю. (редактор)
Iaith:	Rwseg
Cyhoeddwyd:	Москва, Мир, 1983
Pynciau:	Рекурсивные функции вычислимость множества функции отношения предикаты тезис Черча нумерация универсальные программы разрешимость неразрешимость
Fformat:	Llyfr
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=290736

MARC


LEADER	00000nam0a2200000 4500
001	290736
005	20231102000322.0
035			\|a (RuTPU)RU\TPU\book\315292
090			\|a 290736
100			\|a 20150408d1983 k y0rusy50 ca
101	1		\|a rus \|c eng
102			\|a RU
105			\|a a z 001zy
200	1		\|a Вычислимость. Введение в теорию рекурсивных функций \|e пер. с англ. \|f Н. Катленд \|g под ред. С. Ю. Маслова
210			\|a Москва \|c Мир \|d 1983
215			\|a 256 с. \|c ил.
320			\|a Библиогр.: с. 252-254
606	1		\|a Рекурсивные функции \|2 stltpush \|3 (RuTPU)RU\TPU\subj\24877 \|9 49148
610	1		\|a вычислимость
610	1		\|a множества
610	1		\|a функции
610	1		\|a отношения
610	1		\|a предикаты
610	1		\|a предикаты
610	1		\|a тезис Черча
610	1		\|a нумерация
610	1		\|a универсальные программы
610	1		\|a разрешимость
610	1		\|a неразрешимость
610	1		\|a множества
675			\|a 519.7 \|v 4
700		1	\|a Катленд \|b Н. \|g Найджел
702		1	\|a Маслов \|b С. Ю. \|4 340
801		1	\|a RU \|b 63413507 \|c 20150408
801		2	\|a RU \|b 63413507 \|c 20170712 \|g RCR
942			\|c BK