- 博客(8)
- 资源 (1)
- 收藏
- 关注
原创 四、模式和规格说明
1.模式描述功能(重点掌握) 1.1 模式描述状态 1.2 模式描述操作 2.模式的修饰和包含(重点掌握) 2.1 模式的修饰 2.2 模式包含 2.3 和 2.4 初始状态模式 3.模式运算(重点掌握) 3.1 命题连接词连接模式 3.2 前置条件模式 4.模式类型和通用模式 5.规格说明文档的结构
2023-06-23 12:40:59
147
原创 一.一阶逻辑
一个大写英文字母后边有括号,括号内是若干个参数,用以表示客体的属性或者客体之间的关系,称之为谓词。如果括号内有n个参数,成谓词为n元谓词。
2023-06-20 11:07:38
942
1
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人