笔记
电话和海与我
这个作者很懒,什么都没留下…
展开
-
Homework to blog
原创 2022-04-21 20:47:05 · 77 阅读 · 0 评论 -
什么是形式化方法
形式化方法英文的名称是formal methods。在逻辑科学中是指分析、研究思维形式结构的方法。它把各种具有不同内容的思维形式(主要是命题和推理)加以比较,找出其中各个部分相互联结的方式,如命题中包含概念彼此间的联结,推理中则是各个命题之间的联结,抽取出它们共同的形式结构;再引入表达形式结构的符号语言,用符号与符号之间的联系表达命题或推理的形式结构。 ...原创 2022-04-21 20:42:33 · 78 阅读 · 0 评论 -
了解并总结软件工程与计算机科学的关系及区别,你的观点?
软件工程定义 软件工程专业是一门研究用工程化方法构建和维护有效的、实用的和高质量的软件的学科。它涉及到程序设计语言,数据库,软件开发工具,系统平台,标准,设计模式等方面。在现代社会中,软件应用于多个方面。典型的软件比如有电子邮件,嵌入式系统,人机界面,办公套件,操作系统,编译器,数据库,游戏等。 计算机科学与技术定义 计算机科学涉及计算的理论基础及其应用的实际技术。计算机科学是对与数据相互作用的过程的研究,这些过程可以用程序的形式表示为数据。它允许使用算法来操作、存储和传递数字信息 它的领域可以分为..原创 2022-03-24 15:28:17 · 6877 阅读 · 0 评论