自定义博客皮肤VIP专享

*博客头图：

格式为PNG、JPG，宽度*高度大于1920*100像素，不超过2MB，主视觉建议放在右侧，请参照线上博客头图

请上传大于1920*100像素的图片！

博客底图：

图片格式为PNG、JPG，不超过1MB，可上下左右平铺至整个背景

栏目图：

图片格式为PNG、JPG，图片宽度*高度为300*38像素，不超过0.5MB

主标题颜色：

RGB颜色，例如：#AFAFAF

Hover：

RGB颜色，例如：#AFAFAF

副标题颜色：

RGB颜色，例如：#AFAFAF

预览 取消 提交

自定义博客皮肤

-+
上一步保存

ZhenhCui的博客

  • 博客(8)
  • 收藏
  • 关注
排序：
按最后发布时间
按访问量
RSS订阅

原创 可达目标下的非确定规划问题

弱规划，强规划以及强循环规划。

2021-04-20 12:03:24 130

原创 互模拟（Bisimulation）

用于建立两个变迁系统之间的（抽象）关系

2021-03-01 11:28:47 1672 1

原创 命题逻辑——语义

介绍命题逻辑的语义。

2020-10-21 09:59:17 870

原创 命题逻辑——语法

介绍命题逻辑的语法

2020-10-21 09:36:54 529

原创 一阶逻辑——语义

关于一阶逻辑的语法可参考链接：一阶逻辑——语法.一阶逻辑的语义

2020-10-11 11:44:20 860 1

原创 一阶逻辑——语法

介绍一阶逻辑的语法。

2020-10-09 18:39:07 1226

原创 带无穷历史的情景演算语言(Situation Calculus with Infinite Histories)

介绍带无穷历史的情景演算语言以及基本公理。

2020-10-09 11:46:00 152

原创 情景演算(Situation Calculus)

介绍情景演算语言以及情景演算中的基本公理。

2020-10-09 11:06:50 767 1

空空如也

空空如也

TA创建的收藏夹 TA关注的收藏夹

TA关注的人

提示
确定要删除当前文章？
取消 删除