470
个编辑
更改
跳到导航
跳到搜索
小第16行：
第16行： − +
→现象的计算视角： 描述语言的严格化
人们在生产生活中所用的计量方法及科学家们的计算机理论模型和实际计算设备。由于理论上已经证明图灵机、通用图灵机、[[元胞自动机]]、[[神经网络]]是计算等价的，所以计算力学词条选择一个等价关系来展开讲。这些计算包括算术方法和数理逻辑。
人们在生产生活中所用的计量方法及科学家们的计算机理论模型和实际计算设备。由于理论上已经证明图灵机、通用图灵机、[[元胞自动机]]、[[神经网络]]是计算等价的，所以计算力学词条选择一个等价关系来展开讲。这些计算包括算术方法和数理逻辑。
使用适当的假设和划分方法，在科学领域也称为[[映射]]，在[[复杂科学]]里则称为[[粗粒化]]，能够获取一定程度上计算的下列特性：
使用适当的假设和划分方法，在科学领域也称为[[映射]]，在[[复杂科学]]里一种特殊的映射可以称为[[粗粒化]]，能够获取一定程度上计算的下列特性：
* 封闭（完备）性。
* 封闭（完备）性。