离散数学屈婉玲

离散数学屈婉玲Tag内容描述：<p>1、主要内容 推理的形式结构 l 推理的正确与错误 l 推理的形式结构 l 判断推理正确的方法 l 推理定律 自然推理系统P l 形式系统的定义与分类 l 自然推理系统P l 在P中构造证明:直接证明法、附加前提证明法、归谬法 第三章 命题逻辑的推理理论 1 3.1 推理的形式结构 定义3.1 设A1, A2, , Ak, B为命题公式. 若对于每组赋值， A1A2 Ak 为假，或当A1A2Ak为真时，B也为真， 则称由前提A1, A2, , Ak推出结论B的推理是有效的或正确 的, 并称B是有效结论. 定理3.1 由命题公式A1, A2, , Ak 推B的推理正确当且仅当 A1A2AkB为重言式 注意: 推理正确不能。</p><p>2、主要内容 推理的形式结构 l 推理的正确与错误 l 推理的形式结构 l 判断推理正确的方法 l 推理定律 自然推理系统P l 形式系统的定义与分类 l 自然推理系统P l 在P中构造证明:直接证明法、附加前提证明法、归谬法 第三章 命题逻辑的推理理论 1 3.1 推理的形式结构 定义3.1 设A1, A2, , Ak, B为命题公式. 若对于每组赋值， A1A2 Ak 为假，或当A1A2Ak为真时，B也为真， 则称由前提A1, A2, , Ak推出结论B的推理是有效的或正确 的, 并称B是有效结论. 定理3.1 由命题公式A1, A2, , Ak 推B的推理正确当且仅当 A1A2AkB为重言式 注意: 推理正确不能。</p><p>3、1,11.4 图灵机,图灵机的基本模型 图灵机接受的语言 递归可枚举语言 用图灵机计算函数 部分可计算函数与可计算函数,2,问题的提出,1900年 D. Hilbert 在巴黎第二届数学家大会上提出 著名的23个问题. 第10个问题:如何判定整系数多项式是否有整数根? 要求使用“有限次运算的过程” 1970 年证明不存在这样的判定算法, 即这个问题是 不可判定的, 或不可计算的.,3,计算模型,从20世纪30年代先后提出 图灵机 A.M.Turing, 1936年 转换演算 A.Church, 1935年 递归函数 K.Gdel, 1936年 正规算法 A.A.Markov, 1951年 无限寄存器机器 J.C.Shepherdson, 1。</p>