许多物理学家都认为:一个给定初值的物理方程,它所反映的某一系统随时间的变化情况是可以被计算机以任意精度所描述的。因此,研究偏微分方程解算子的可计算性有着重要的现实意义。本文主要研究了组合KdV方程以及四阶薛定谔方程解算子的可计算性。首先,利用方程的守恒量或能量函数,研究其解的某些特殊性质。然后,在Sobolev空间上用傅立叶变换把微分方程转换成积分方程。再利用解的性质、Schwartz函数的性质、压缩映象原理和TTE理论证明存在T＞0,使得相应的积分算子在0≤t≤T时是可计算的。最后,通过构造可计算函数把解从区间[0,T]延拓到整个实数空间上,从而得到原微分方程的解算子有相同的可计算性。本文研究的结果为精确计算组合KdV方程以及四阶薛定谔方程的解提供了理论依据,推广了数字计算机求解微分方程的应用领域。本文还研究了实矩阵的图灵可计算性,给出了实矩阵的可计算性定义和二种表示,并运用拓扑空间上的可计算性理论证明了这二种表示是等价的。运用二型有效论作为可计算模型,证明了可计算实矩阵的一系列运算结果仍是可计算的实矩阵。以此为基础可以进一步研究矩阵函数的可计算性,建立矩阵空间的可计算性理论。