搜索结果: 1-2 共查到“科学技术哲学 计算机科学”相关记录2条 . 查询时间(0.295 秒)
模型在计算机科学中的作用
模型 计算机科学
2010/3/4
模型在计算机中的作用问题似乎比通常所承认的要普遍得多，即使对该学科中的资深学者来说也是如此。在其重要研究成果《计算机中的正确性之局限》(1985／1995年)一文中，B．C．史密斯讲到了程序与其规范之间的关系是一种模型(程序)与另一种模型(它的规范)之间的关系，其中，即使存在着程序满足其规范的形式证明，也不能保证由该程序所控制的系统会完成期望它做的、该程序应当执行的任务，因为这些规范可能会也可能不...
计算机科学是研究什么的?
计算机科学 研究
2010/3/4
计算机科学(cs)是研究什么的?显然，CS是研究计算机的科学。但是，计算机究竟是什么?我们知道存在着物理计算机，并且或许还存在着抽象计算机。①在此，我们姑且把讨论限制在物理存在物方面，并且追问：什么是物理计算机?说一种物理存在物是计算机，这意味着什么呢?其答案似乎是物理计算机是物理动力系统，它能执行诸如图灵机之类的形式存在物。我不认为这一答案是假的。但是，它却引起了另一个而且是比较麻烦的问题：把计...