自定义博客皮肤VIP专享
点击选择上传的图片
格式为PNG、JPG,宽度*高度大于1920*100像素,不超过2MB,主视觉建议放在右侧,请参照线上博客头图
请上传大于1920*100像素的图片!
图片格式为PNG、JPG,不超过1MB,可上下左右平铺至整个背景
图片格式为PNG、JPG,图片宽度*高度为300*38像素,不超过0.5MB
RGB颜色,例如:#AFAFAF
自定义博客皮肤
弱规划,强规划以及强循环规划。
2021-04-20 12:03:24 146
用于建立两个变迁系统之间的(抽象)关系
2021-03-01 11:28:47 1745 1
介绍命题逻辑的语义。
2020-10-21 09:59:17 892
介绍命题逻辑的语法
2020-10-21 09:36:54 547
关于一阶逻辑的语法可参考链接:一阶逻辑——语法.一阶逻辑的语义
2020-10-11 11:44:20 887 1
介绍一阶逻辑的语法。
2020-10-09 18:39:07 1260
介绍带无穷历史的情景演算语言以及基本公理。
2020-10-09 11:46:00 165
介绍情景演算语言以及情景演算中的基本公理。
2020-10-09 11:06:50 780 1
TA创建的收藏夹 TA关注的收藏夹
TA关注的人