请输入您要查询的字词:
单词
Kripke structure
释义
Kripke structure
Encyclopedia
理学
形式模型
释
Kripke structure
克里普克结构
针对正规模态逻辑提出的一种语义结构。由一个表示所有可能世界的集合和该集合上的若干关系组成。它的基本形式是一个图,节点表示系统的可达状态,边用来表示状态间可能的迁移。由美国学者S.A.克里普克[注](Saul Aaron Kripke,1940~ )于1963年提出。
Computer
人工智能
人工智能逻辑
释文
Kripke structure
克里普克结构
随便看
刑事和解程序
刑事图像处理
刑事审判监督程序
刑事强制措施
刑事执行人员
刑事执行政策
刑事执行法学
刑事执行程序
刑事技术
刑事拘留
刑事政策
刑事政策学
刑事政策模式
刑事案件
刑事案件侦查
刑事检验鉴定技术
刑事法令
刑事照相
刑事物证检验鉴定装备
刑事犯罪的时空数据分析
刑事现场录像
刑事现场照相
刑事登记
刑事科学技术基本方法
刑事科学技术鉴定
科学参考收录了854744条科技类词条,基本涵盖了常见科技类参考文献及英语词汇的翻译,是科学学习和研究的有利工具。
Copyright © 2000-2023 Sciref.net All Rights Reserved
京ICP备2021023879号
更新时间:2025/7/24 8:58:21