Search academic texts

Information × Registration Number 2114U001952, Article popup.category Thesis Title popup.author popup.publication 01-01-2014 popup.source_user Сумський державний університет popup.source http://essuir.sumdu.edu.ua/handle/123456789/39148 popup.publisher Сумский государственный университет Description Частично рекурсивные (ЧР) функции и предикаты примечательны тем, что согласно тезису Черча, ЧР-функции (ЧР-предикаты) являются вычислимыми функциями (предикатами), а значит, могут быть алгоритмизированными. popup.nrat_date 2025-05-12 Close