单项选择题
本讲在讲述软件建模方法时，主讲教师介绍了形式化思维方法。其基本思想是数学、集合、图与逻辑。思维结果通过数学方法表达。基于数学的方法一般用于一致性检查、类型检查、有效性验证、行为预测, 设计求精验证。下列各选项中，________不属于形式化思维方法中采用的表达方法。
单项选择题 Signature
单项选择题 电子资料未妥善保管造成缺失、毁坏、资料泄露、客户信息泄露等风险隐患，将依据《远程银行中心风险判定及处罚标准》判定（）级风险事件
未知题型 求下列命题公式的主析取范式和主合取范式： （p∧（q∨(┐p∧r）） （得分点：注意主析取范式和主合取范式两者都要求给出。）
