Pusteblume2018

摘要： Anaconda 百度搜Anaconda清华，根据环境选择版本下载 安装时记得勾选添加到环境变量，不要还要手动添加 Anaconda Navigator可视化界面，可以方便地调用Jupyter等工具。 MongoDB 官网下载地址 https://www.mongodb.com/download-c 阅读全文

摘要： 逻辑 语法 语义 推理系统 公理 推理规则 MP A,A->B =>B HS A->B,B->C => A->C 命题逻辑公式 ：：= BNF backus naur form 巴科斯范式 用于表示上下文无关文法的语言 规定的是推导规则(产生式)的集合 ：= 定义 真值指派 原子命题指派 复合命题计 阅读全文

摘要： 软件理论基础 逻辑 命题逻辑 谓词逻辑 模态逻辑 LTL(linear 线性时态逻辑) CTL（component tree logic 分支时态逻辑） 自动机 DFA 确定有限状态自动机 NFA 非确定有限状态自动机 PDA 下推 TM TA 时间自动机 验证 基于证明的方法 基于模型的方法 验证 阅读全文

摘要： 语义理论 Kripke模型M=（W,R,L) W 集合，世界x∈W R可达关系 L标号函数，L(x)={p,q}指在世界（状态）x中，p,q的取值为真 x ||- φ 公式φ在世界(元素)x处为真 定义3.2.2（可满足性）：几个公式 定义3.2.3：M||-φ,模型M满足公式φ 定义3.2.4：模 阅读全文

摘要： 运行python时出错，提示“丢失api-ms-win-crt-runtime-l1-1-0.dll”， 上网搜了一下说是本地api-ms-win-crt-runtime-l1-1-0.dll 版本过低或者不存在，https://blog.csdn.net/lt_java13/article/det 阅读全文

摘要： 模型驱动工程范式认为软件开发生命周期由工件（需求规范、分析和设计文档、测试套件、源代码）支持，这些工件是表示要构建的系统不同视图的模型。存在一个由模型转换驱动的（半）自动构造过程，从系统的抽象模型开始转换直到生成一个可执行的模型。 本文关注模型转换，尤其是它们的验证，要验证的最低要求是转换以及源模型 阅读全文

摘要： P ∩ Q (P or Q) 由机器做出选择，环境无法控制，设计软件时只实现一个即可 P[]Q一般选择（Genral choice） 环境可以控制选择P或Q，若P不可接受这个动作，则执行Q，若Q不可接受这个动作，则执行P，若都可接收，则变成不确定性选择；若都不可接收，则P和Q都不会发生。 阅读全文

摘要： ilovepdfPDF 在线处理：https://www.ilovepdf.com/ 阅读全文

摘要： \tiny \scriptsize \footnotesize \small \normalsize \large \Large \LARGE \huge \Huge 将上述命令放在文本之前即可 阅读全文

摘要： https://jingyan.baidu.com/article/f71d6037be31221ab641d1b0.html 阅读全文