307
个编辑
更改
跳到导航
跳到搜索
第398行：
第398行： + 第403行：
第404行： − 用于数字计算的可计算性理论已经发展得很好。可计算性理论在模拟计算方面发展较差，模拟计算发生在模拟计算机、模拟信号处理、模拟电子学、神经网络和连续时间控制理论，由微分方程和连续动力系统建模(Orponen 1997; Moore 1996)。+
→Continuous computability theory
===Continuous computability theory===
===Continuous computability theory===
连续的可计算性理论
Computability theory for digital computation is well developed. Computability theory is less well developed for [[analog computation]] that occurs in [[analog computer]]s, [[analog signal processing]], [[analog electronics]], [[neural networks]] and continuous-time [[control theory]], modelled by [[differential equation]]s and continuous [[dynamical system]]s (Orponen 1997; Moore 1996).
Computability theory for digital computation is well developed. Computability theory is less well developed for [[analog computation]] that occurs in [[analog computer]]s, [[analog signal processing]], [[analog electronics]], [[neural networks]] and continuous-time [[control theory]], modelled by [[differential equation]]s and continuous [[dynamical system]]s (Orponen 1997; Moore 1996).
Computability theory for digital computation is well developed. Computability theory is less well developed for analog computation that occurs in analog computers, analog signal processing, analog electronics, neural networks and continuous-time control theory, modelled by differential equations and continuous dynamical systems (Orponen 1997; Moore 1996).
Computability theory for digital computation is well developed. Computability theory is less well developed for analog computation that occurs in analog computers, analog signal processing, analog electronics, neural networks and continuous-time control theory, modelled by differential equations and continuous dynamical systems (Orponen 1997; Moore 1996).
数字计算的可计算性理论已经发展的很好。可计算性理论在'''<font color="#ff8000">模拟计算 analog computation</font>'''方面发展较差，模拟计算发生在'''<font color="#ff8000">模拟计算机 analog computer</font>'''、'''<font color="#ff8000">模拟信号处理 analog signal processing</font>'''、'''<font color="#ff8000">模拟电子学 analog electronics</font>'''、'''<font color="#ff8000">神经网络 neural networks</font>'''和连续时间'''<font color="#ff8000">控制理论 control theory</font>'''，由'''<font color="#ff8000">微分方程 differential equation</font>'''和连续'''<font color="#ff8000">动力系统 dynamical system</font>'''建模(奥波宁 1997; 摩尔1996)。
==Relationships between definability, proof and computability==
==Relationships between definability, proof and computability==