О типах сходства и рекурсивного изоморфизма частично рекурсивных функций
Поляков Е.А.
Доказано, что тип сходства разнозначной функции, принимающей значений, состоит из типов рекурсивного изоморфизма, где - число разбиений числа . Также показно, что если частично рекурсивная функция отлична от пустой функции и функции-константы и ее тип сходства состоит из одного типа рекурсивного изоморфизма, то не имеет рекурсивных доопределений.
年:
2001
语言:
russian
页:
4
系列:
Сибирский математический журнал
文件:
PDF, 298 KB
IPFS:
,
russian, 2001
Litres
想添加您的书店？ 通过 support@z-lib.do 与我们联系
转换文件
更多搜索结果
其他特权 
![Rod Pitcher [Pitcher, Rod] — Extreme Sports on the Web](https://s3proxy.cdn-zlib.se/covers200/collections/userbooks/18c638c209f4a4c4e85f63d7bc9d2e17dcc885c6bcff16e94013695925fd11c2.jpg)
关键词
关联书单
