论文部分内容阅读
模型在计算机中的作用问题似乎比通常所承认的要普遍得多,即使对该学科中的资深学者来说也是如此.在其重要研究成果《计算机中的正确性之局限》(1985/1995年)一文中,B.C.史密斯讲到了程序与其规范……
模型在计算机科学中的作用
【摘 要】
：
模型在计算机中的作用问题似乎比通常所承认的要普遍得多,即使对该学科中的资深学者来说也是如此.在其重要研究成果《计算机中的正确性之局限》(1985/1995年)一文中,B.C.史密
【出 处】
：
世界哲学
【发表日期】
：
2003年2期
其他文献
2012年6月15-16日,由中山大学港澳珠江三角洲研究中心、港澳台研究中心主办的第二期“港澳论坛”在中山大学南校区文科楼六楼会议室如期举行。本次论坛的主题围绕“新一届香
铁路企业思想政治工作是一个企业发展的基础,同时也是一个企业进步的灵魂.作为铁路企业主要的思想政治工作人员,铁路企业政工干部在企业思想政治教育方面发挥着极为重要的作
企业参与市场的竞争说到底是人才的竞争.然而,随着改革的不断深入,国有企业人才流失严重,主要原因是工资收入分配上没有体现人才的价值属性.在社会主义市场经济条件下,劳动力
本文对跨国公司在华研发对江苏的影响进行了类似SWOT的战略分析,在此基础上,提出了江苏针对跨国公司在华设立研发机构的战略思路。最后,分别从人才环境、科技环境、知识产权
当前高校中大学生犯罪率呈现逐年上升的趋势,这些高素质且高智商的特殊群体一而再再而三的走进犯罪的深渊,产生了恶劣的社会影响,影响着社会的稳定和发展,本文将从高校当前法
广西田东县是吴邦国委员长学习实践科学发展观活动联系点.在学习实践活动总结后,吴邦国委员长批示:“金融是发展农村经济的瓶颈,建议以田东为试点,在中央金融部门的支持下,破
近年来,随着我国经济的飞速发展,紧跟着企业的发展趋势,在其规模,数量上也都有所增加,但其中,问题也日益增多.就企业数量增长的同时,员工数量也在随着增加,对此,企业管理人员
电信重组后，如何提高企业的专业化管理水平是各级经营管理者都在认真思考的课题。对此，各地电信企业都不同程度地进行了有益的探索。抚州电信通过多年的实践清醒地认识到，要全面
传统二语口语教学由于受到现行考试制度的影响更多关注规则建立而忽视了语言的功能性.二语预制语块习得研究发现人类语言表达是基于大量的预制语块.而这些预制语块是按照不同