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:
Tweet
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 | Copyright not evaluated |
Citation | Горелов, А.В. Метод получения базиса для счетных множеств [Текст] / А.В. Горелов, И.В. Редько, П.А. Яганов // Інформатика, математика, автоматика: матеріали та програма науково-технічної конференції, м. Суми, 21-26 квітня 2014 р. / Відп. за вип. С.І. Проценко. — Суми: СумДУ, 2014. — С. 51. |
Abstract |
Частично рекурсивные (ЧР) функции и предикаты примечательны тем, что согласно тезису Черча, ЧР-функции (ЧР-предикаты) являются вычислимыми функциями (предикатами), а значит, могут быть
алгоритмизированными. |
Appears in Collections: |
Наукові видання (ЕлІТ) |
Views

1

1

1

1

4

1

3814

1

34322

17639

124222

10
Downloads

2

2

1

1

68427

1

180018

1
Files
File | Size | Format | Downloads |
---|---|---|---|
Gorelov_basis.pdf | 158.84 kB | Adobe PDF | 248453 |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.