【可计算函数讲义】上海科学技术.pdf
468394 可计算函数讲义 苏联]B.A.烏斯宾斯基著 毕源章管紀文校
目录 2.集合与函数理方面的一些备知 1.集合 3.代.部分映象 5.广延医数 6.特征医数 7.原始递归 8.可計算函数的例 3.数理邂韩方面的预备知識.命题和命题形式 2.假值 3.及其运算 4.受固的量 5.“最小数”算子 6.受留的“最小数”算子 7.受围的“最大数”算子 8.受固的“算个数”算子 9.直观可计算谓 4.
[m]录目(iv)十进制可計算的数.q进制可計算的数 13.可計算函数在邂辑学中的应用:否定定义的构造化 14.可计算函数在计算数学中的应用:抽象计算机的可能性 3.可計算实数(i)康托意义下可計算的数(ii)获德金意义下可計算的数(ii)区間意义下可計算的数(v)构造性速續统.可計算实数的表示系統 1.构造性的非有穷性 2.构造性的不可枚举性 3.