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

Podrobná bibliografie
Hlavní autor:	Катленд Н. Найджел
Další autoři:	Маслов С. Ю. (340)
Jazyk:	ruština
Vydáno:	Москва, Мир, 1983
Témata:	Рекурсивные функции вычислимость множества функции отношения предикаты тезис Черча нумерация универсальные программы разрешимость неразрешимость
Médium:	Kniha
KOHA link:	https://koha.lib.tpu.ru/cgi-bin/koha/opac-detail.pl?biblionumber=290736

Popis
Fyzický popis:	256 с. ил.

Podobné jednotky