软件理论
文章平均质量分 88
Campsisgrandiflora
记录下当前的学习内容,记录下当前的所思所想,书写与图画是为了更好地总结与思考,想做的事从现在开始就做,持之以恒地做一件事情,持续地学习与思考
展开
-
软件理论基础学习笔记——一阶谓词逻辑
目录一阶谓词逻辑的符号化个体词谓词量词一阶谓词逻辑的解释一阶逻辑前束范式一阶谓词逻辑的符号化一阶谓词逻辑符号化有三个基本要素,分别是个体词、谓词和量词个体词个体词是指研究对象可以独立存在的具体的或者抽象的个体,例如3,小张,中国……谓词谓词是用来刻画个体词性质以及个体词之间相互关系的词,常用F,G,H……表示,例如“2是有理数”,2是个体词,“是有理数”就是谓词,量词表示个体常项与变量之间数量关系的词称为两次,一共有两种量词,分别是全称量词和存在量词一阶谓词逻辑的解释L\mathcal原创 2021-06-19 21:54:49 · 1480 阅读 · 0 评论 -
软件理论基础学习笔记——模态逻辑(modal logic)
目录模态逻辑的语法模态逻辑的语义模态逻辑的语法模态逻辑定义为:ϕ::=true∣p∣¬ϕ∣ϕ1∨ϕ2∣ϕ1∧ϕ2∣ϕ1→ϕ2∣□ϕ∣◊ϕ\phi::=true|p|\lnot\phi|\phi_{1}\vee\phi_{2}|\phi_{1}\wedge\phi_{2}|\phi_{1}\rightarrow\phi_{2}|\Box\phi|\Diamond\phiϕ::=true∣p∣¬ϕ∣ϕ1∨ϕ2∣ϕ1∧ϕ2∣ϕ1→ϕ2∣□ϕ∣◊ϕ说白了就是命题逻辑再加上两个自定义的算子看看原创 2021-06-18 18:58:10 · 3604 阅读 · 2 评论 -
软件理论基础学习笔记——操作语义(operational semantics)
目录介绍二级目录三级目录介绍Operational semantics is a category of formal programming language semantics in which certain desired properties of a program, such as correctness, safety or security, are verified by constructing proofs from logical statements about its e原创 2021-06-15 23:37:39 · 2425 阅读 · 4 评论 -
软件理论基础复习笔记——总结与例题
目录命题逻辑系统一阶谓词逻辑系统时态逻辑系统模态逻辑系统自动机理论操作语义命题逻辑系统软件理论命题逻辑知识点1、证明一个公式是否为重言式什么是重言式?定义为设A∈F(S)A\in F(S)A∈F(S),若τ(A)=1\tau(A)=1τ(A)=1,则称A为重言式(永真式)也就是说无论如何赋值,该公式的真值永远为真,那么这个公式就是重言式判断重言式的方法,逻辑等价和真值表法,逻辑等价的方法就是例如逻辑等价公式,将公式转化为真,真值表法就是利用真值表画出公式所有的真值,如果最后一栏全是1,那么个原创 2021-06-15 19:23:00 · 796 阅读 · 0 评论 -
软件理论基础学习笔记——图灵机
图灵机(turing machine)图灵机是一种比下推自动机更为强大的自动机,在上面我们看到下推自动机在状态转换过程中操作一个栈,而图灵机会在状态转换过程中操作一个无限的tapetape里面包含字符,其中后面那个两竖一横的符号是blank的意思,它是一个特殊的字符,用来填满无限的tapetape head指向当前tape上的字符tape上的操作可以对tape head指向的字符进行读/扫描操作可以对tape head指向的字符进行写/更新操作将tape head左移一格将tape he原创 2021-05-21 22:55:33 · 3359 阅读 · 0 评论 -
软件理论基础学习笔记——命题逻辑系统
目录命题及其符号化命题及其符号化命题就是陈述句如果陈述句不包含更简单的陈述句,那么这个陈述句就是简单命题,如果陈述句由简单命题通过连接词连接形成,那么就是复合命题命题根据是否为真分为真命题和假命题命题逻辑的符号表示在命题演算中,我们用符号p1,p2,p3...p_{1},p_{2},p_{3}...p1,p2,p3...表示简单命题,也称之为原子命题和命题变元,用¬,∨,∧,→\lnot,\vee,\wedge,\rightarrow¬,∨,∧,→作为命题连接符用符号表示命题逻辑公式原创 2021-04-02 14:57:39 · 712 阅读 · 0 评论 -
软件理论基础学习笔记——形式系统
目录定义形式系统LL中的证明与定理演绎定理可靠性定理完备性定理可证等价子式替换定理命题演算的语构理论定义每个形式系统都使用原始的符号(符号的集合称为字符表),通过形成的推理规则,从一组公理中有限地构造一种形式语言正式的来说,形式系统包含如下四个部分:1、字符表(symbols)。一组有限的符号,称为字符表,字符用来连接公式,因此公式只是从字符表中提取的有限的符号串。2、语法(grammar)。语法定义了生成公式的基本规则,如果一个公式被称为符合语法规则(well-formed)的,那么说明这个原创 2021-03-29 23:17:20 · 1357 阅读 · 0 评论