Метод получения базиса для счетных множеств

Please use this identifier to cite or link to this item: http://essuir.sumdu.edu.ua/handle/123456789/39148

Or use following links to share this resource in social networks: Recommend this item

Title	Метод получения базиса для счетных множеств
Authors	Горелов, А.В. Редько, И.В. Яганов, П.А.
ORCID
Keywords	базис basis счетное множество зліченна множина countable set нумерационный подход нумераційний підхід numbering approach
Type	Conference Papers
Date of Issue	2014
URI	http://essuir.sumdu.edu.ua/handle/123456789/39148
Publisher	Сумский государственный университет
License
Citation	Горелов, А.В. Метод получения базиса для счетных множеств [Текст] / А.В. Горелов, И.В. Редько, П.А. Яганов // Інформатика, математика, автоматика: матеріали та програма науково-технічної конференції, м. Суми, 21-26 квітня 2014 р. / Відп. за вип. С.І. Проценко. — Суми: СумДУ, 2014. — С. 51.
Abstract	Частично рекурсивные (ЧР) функции и предикаты примечательны тем, что согласно тезису Черча, ЧР-функции (ЧР-предикаты) являются вычислимыми функциями (предикатами), а значит, могут быть алгоритмизированными.
Appears in Collections:	Наукові видання (ЕлІТ)