Open AccessО доказательстве свойств полурекурсивных функций
Author(s) -
Ирина Леонидовна Тимофеева,
Irina L. Timofeeva
Publication year - 2020
Publication title -
itogi nauki i tehniki. seriâ, sovremennye problemy matematiki, fundamentalʹnye napravleniâ
Language(s) - Russian
Resource type - Journals
ISSN - 0233-6723
DOI - 10.36535/0233-6723-2020-179-73-77
Subject(s) - computer science
В статье изложены доказательства свойств полурекурсивных множеств, основанные непосредственно на определении этих множеств и на рекурсивности предикатов Клини. Эти доказательства являются более короткими и интуитивно ясными, чем традиционные доказательства аналогичных утверждений для рекурсивно перечислимых множеств.