结果:找到“演绎 归纳”相关内容9个,排序为按回复时间降序,搜索更多相关帖子请点击“高级”
sciduction:结合归纳、演绎和结构
验证与综合
0 个回复 - 295 次查看
摘要翻译:
尽管自动化形式化方法取得了令人印象深刻的进展,但系统验证和综合中的某些问题仍然具有挑战性。例子包括验证软件的定量特性,包括对时间和能量消耗的约束,以及从规范中自动合成系统。主要的挑战包括环境 ...
2022-3-24 22:45 - 可人4 - Forum
分析、归纳、演绎、综合有严格定义,不能乱用
40 个回复 - 12169 次查看
(节选自《思维方法高级教程》第三章,题目为转者所加)
模拟原始概念的形成过程(一)
---------------------------------------------------
本节关键词:
概念:是用声音或 ...
2017-3-6 15:12 - 洀思珐1958 - 学术道德监督
分析、归纳、演绎、综合都有严格定义,不能瞎用
24 个回复 - 3295 次查看
(节选自《思维方法高级教程》第三章,题目为转者所加)
模拟原始概念的形成过程(一)
---------------------------------------------------
本节关键词:
概念:是用声音或 ...
2017-3-9 11:44 - 洀思珐1958 - 经管考研