更新时间:-- | 阅读量: 28
时序逻辑又称为时态逻辑、时间逻辑、变换逻辑、过程逻辑,它是一门研究带有时间条件...时序逻辑却要面对这些时间条件，分析命题中所包含的时间先后关系，以及命题中由时间引起的变化和稳定的因素，并提供在这种时间条件下严格推理的模式。时序逻辑使用现 ...
搜索到与“ 时间推理”相关的文献共 0条
010-56259535
关注中教数据库
Copyright © 2013-2016 ZJHJ Corporation,All Rights Reserved
个人中心
退出
