请输入您要查询的字词:
单词
时序逻辑
释义
时序逻辑
Encyclopedia
理学
程序正确性
释
temporal logic
时序逻辑
用于描述事件或动作之间的时序关系的逻辑。是一种对经典数理逻辑的扩展,其引入了表示时间的时态算子,以描述和推理有关时间限定的命题系统。它由新西兰学者A.N.普赖尔[注](Authur Norman Prior,1914~1969)在20世纪60年代提出。
随便看
椭圆切线
椭圆判别式
椭圆包层光纤
椭圆包络
椭圆区域
椭圆单位
椭圆单连通域
椭圆双曲的
椭圆双曲类曲线
椭圆双曲面
椭圆反演
椭圆反演点
椭圆变分不等方程
椭圆变形卵形线
椭圆变换
椭圆囊
椭圆囊神经
椭圆-圆孔型系统
椭圆圆束
椭圆圆网
椭圆坐标
椭圆坐标系
椭圆垂足曲线
椭圆型
椭圆[型]偏微分方程
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2024/6/28 14:27:13