6阶子群同构于s3或者z6_[2017年整理]离散数学复习.ppt

最新推荐文章于 2021-01-26 12:29:09 发布
最新推荐文章于 2021-01-26 12:29:09 发布
阅读量1k 收藏
点赞数
文章标签： 6阶子群同构于s3或者z6
版权声明：本文为博主原创文章，遵循 CC 4.0 BY-SA 版权协议，转载请附上原文出处链接和本声明。
本文链接：https://blog.csdn.net/weixin_29118723/article/details/111909182
版权
这份2017年的离散数学复习资料涵盖了数理逻辑的核心内容，包括命题逻辑的深入理解，如联结词的逻辑关系、合式公式、重言式和矛盾式的概念，以及等值式和基本等值式的运用。同时，讲解了如何判断推理的正确性，使用自然推理系统NL，并涉及一阶逻辑和公式解释。资料还包含一系列的练习题以巩固学习。
摘要由CSDN通过智能技术生成

[2017年整理]离散数学复习

1

各章核心内容

数理逻辑部分

深刻理解各联结词的逻辑关系, 熟练地将命题符号化

会求复合命题的真值

深刻理解合式公式及重言式、矛盾式、可满足式等概念

熟练地求公式的真值表，并用它求公式的成真赋值与成假赋值及判断公式类型

深刻理解等值式的概念

牢记基本等值式的名称及它们的内容

Evaluation only.

Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.

Copyright 2004-2011 Aspose Pty Ltd.

2

熟练地应用基本等值式及置换规则进行等值演算

理解文字、简单析取式、简单合取式、析取范式、合取范式的概念

深刻理解极小项、极大项的概念、名称及下角标与成真、成假赋值的关系，并理解简单析取式与极小项的关系

Evaluation only.

Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.

Copyright 2004-2011 Aspose Pty Ltd.

3

熟练掌握求主范式的方法(等值演算、真值表等)

会用主范式求公式的成真赋值、成假赋值、判断公式的类型、判断两个公式是否等值

会将公式等值地化成指定联结词完备集中的公式

会用命题逻辑的概念及运算解决简单的应用问题

掌握消解规则及其性质

会用消解算法判断公式的可满足性

理解并记住推理形式结构的两种形式：

(A1A2…Ak)B

前提：A1, A2, … , Ak

结论：B

Evaluation only.

Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.

Copyright 2004-2011 Aspose Pty Ltd.

4

熟练掌握判断推理是否正确的不同方法(如真值表法、等值演算法、主析取范式法等)

牢记 P 系统中各条推理规则

熟练掌握构造证明的直接证明法、附加前提证明法和归谬 法

会解决实际中的简单推理问题

准确地将给定命题符号化

理解一阶语言的概念

深刻理解一阶语言的解释

熟练地给出公式的解释

记住闭式的性质并能应用它

Evaluation only.

Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.

Copyright 2004-2011 Aspose Pty Ltd.

5

深刻理解永真式、矛盾式、可满足式的概念, 会判断简

单公式的类型

深刻理解并牢记一阶逻辑中的重要等值式, 并能准确而熟练地应用它们．

熟练正确地使用置换规则、换名规则、代替规则．

熟练地求出给定公式的前束范式．

深刻理解自然推理系统NL 的定义，牢记NL 中的各条推理规则，特别是注意使用、+、+、 4条推理规则的条件．

能正确地给出有效推理的证明．

Evaluation only.

Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.

Copyright 2004-2011 Aspose Pty Ltd.

6

练习题：

1、38页3，7

2、65页2，6

3、66页10

4、79页3，5，7

5、80页12，15，17

6、81页19

7、81页的20~25再检查一遍作业，如果没做就再做一遍。

Evaluation only.

Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.

Copyright 2004-2011 Aspose Pty Ltd.

7

练习题

1、已知公式A含n个命题变元p1,p2,…,pn, 并且无成假赋值，求A的主合取范式。

解：该公式是永真式，没有主合取范式， 2n个极小项均出现在其主析取范式中。

2、判断下列公式的属性：

(pq) r

p(p q r)

Evaluation only.

Created with Aspose.Slides for .NET 3.5 Client Profile 5.2.0.0.

Copyright 2004-2011 Aspose Pty Ltd.

8

(1)解：通过求主范式的方法来判定。

(pq) r= (pq r)  (pq r) (p  r) (p  r)

= (pq r)  (pq r)  (pq r)  (p  q r)  (p q  r) (p  q  r)

=M0M1M2M4M6

该公式是可满足的

毕志飞
关注
  • 0
    点赞
  • 踩
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
6阶子群同构于s3或者z6_无限阶魔方（数学原理）
weixin_39952182的博客
12-24 1630
通常意义下，魔方是指3X3X3的魔方（或者3阶魔方），也就是3阶魔方相信这也是传播最为广泛的魔方形态没有之一。而通过改变层数，是可以得到出不同类型的魔方的，比如：2阶/4阶/5阶根据层数，可以把n层的魔方称为n阶魔方。但是，今天笔者想介绍的是一种永远无法做成实物的魔方：无限阶魔方。在构造无限阶魔方前，我们需要了解一个魔方的定义（由于奇数阶和偶数阶性质相差较大，这里使用奇数阶的定义）。魔方的定义（知...
6阶子群同构于s3或者z6_群论(5): 换位子群与可解群
weixin_39876856的博客
12-24 2734
内容提要:1 换位子与导群; 2 可解群; 3 正规列, 合成列和可解列; 本文主要参考文献.本文的前置内容为:格罗卜：群论(1): 群, 同构定理, 循环群格罗卜：群论(2): 群作用, Sylow定理更多内容，请移步专栏目录:格罗卜：格罗卜的数学乐园-目录​zhuanlan.zhihu.com1 换位子与导群1-1. [换位子] 是群, , 定义 为 和 的换位子.由定义立即可以看出 ...
6阶子群同构于s3或者z6_近世代数习题与答案 -
weixin_39861255的博客
12-23 4558
本题得分 一、 选择题(本题共5小题,每小题3分，共15分)(从下列备选答案中选择正确答案)1、下列子集对通常复数的乘法不构成群的是( )。(A) ｛1，－1，i ,－i｝ (B) ｛1，－1｝ (C) ｛1，－1，i｝ 2、设H是群Ｇ的子群，a，b∈Ｇ，则aH = bH的充要条件是( )。 (A) a1b1∈H－－(B) a1b∈H－(C) ab1∈...
6阶子群同构于s3或者z6_顾沛《抽象代数》1.6"变换群与置换群"习题解答
weixin_35980011的博客
01-14 3912
习题4.证明：置换群$G$中若含有奇置换，则$G$必有指数为$2$的子群.证明 易知$G$中若有奇置换，则奇偶置换各半.不妨设$G$的偶置换为$${\rm id}=\sigma_{1},\sigma_{2},\cdots,\sigma_{m}$$而奇置换$\phi_{1},\cdots,\phi_{m}$,又消去律可知每个$\sigma_{i}\phi_{1}$均为奇置换且互不相等,从而$$...
6阶子群同构于s3或者z6_近世代数复习题
weixin_33448555的博客
12-23 2954
例1 :写出剩余类加群Z15的(1) 全部元素; { [0], [1], …, [14]}(2) 全部生成元; { [1], [2], [4], [7], [8], [11], [13], [14]}(3) 全部子加群；?[0]?, ?[1]?= Z15, ?[5]?={[0], [5], [10]}= ?[10]?,?[3]?={ [0], [3], [6], [9], [12]} = ?[6]...
6阶子群同构于s3或者z6_浙江省月自考近世代数试卷
weixin_30044149的博客
12-23 3292
近世代数试题一、单项选择题(本大题共5小题，每小题3分，共15分)在每小题列出的四个备选项中只有一个是符合题目要求的，请将其代码填写在题后的括号内。错选、多选或未选均无分。 1.设A=B=R(实数域)，?:a→2a+1?a∈A则?是从A到B的( ) A.满射而非单射 B.单射而非满射 C.一一映射D.既非单射也非满射 2.在整数集Z中，Z的代数运算aob=??a当a为偶数时?a?1当a为...
离散数学：B_6_4_6.4-群的同态及同构.ppt
12-07
离散数学：群的同态及同构 群的同态映射是离散数学中一个重要的概念，它是指从一个群到另一个群的映射，使得群操作保持不变。群的同态映射可以分为两个部分，一是群的同态映射，二是群的同构映射。 群的同态映射是...
6阶群的非平凡子群_子群和Lagrange定理
weixin_34941214的博客
01-26 4030
子群设$(G,\cdot)$是群,$A\subset G$是$G$的子集,如果$(A,\cdot)$也构成群,那么称$A$是$G$的子群,记作$A\leq G$,且若$A\neq G$,则称$A$为$G$的真子群,记作$A对了验证群$G$的子集$A$是否是$G$的子群,仅需验证$A$对$G$中的运算是否构成群即可,即仅需验证如下三条:(1)幺元$1_G\in A$;(2)$a\in A\Right...
基于S 3⊗SO（3）⊂⊂O（2）⊗SO（3）rot⊂U（3）⋊S 2⊂O（6）子群链的置换对称三粒子超球谐函数
04-10
我们构造了三体置换对称超球谐函数，用于三个空间维度（3D）的非相对论三体Schrödinger方程。 我们根据S3⊗SO（3）rot⊂O（2）⊗SO（3）rot⊂U（3）⋊S2⊂O（6）子群链标记状态向量，其中S3是三体置换群 S2是它的两个元素子组，包含前两个粒子的转置，O（2）是三个粒子的“民主变换”或“运动旋转”组； SO（3）rot是3D旋转组，U（3），O（6）是通常的Lie组。 我们讨论了上述代数链所暗示的良好量子数，以及它们与谐波的S3置换性质的关系，尤其是考虑到SO（3）rot⊂SU（3）简并性。 我们提供了一种确定的，切实可行的算法，用于计算具有超角动量K的任意有限整数值的谐波，并给出了在简并的特定情况下这种构造的明确示例，以及K≤6谐波的表格。 除非选择“算子方法”来提升SO（3）rot⊂SU（3）的多重性和维数的维数，否则所有谐波均以雅可比矢量（λ，ρ）中的齐次多项式表示，系数以代数形式给出。 退化子空间大于4 –在这种情况下，必须使用数字对角线化； K≤15的谐波或任意K的L≤7的谐波都不满足后一个条件。我们还通过两种方式计算某种类型的矩阵元素（三个谐波的乘
离散数学二复习总结ppt.zip
07-08
离散数学ppt，包括二元运算性质、子群、群、半群和独一点、阿贝尔群、循环群、置换群，内容是分章内容。
6阶循环群的结构
linux-0.11调试教程
08-12 7070
6阶群只有两种，一种是6阶循环群，Z6。一种是S3（同构与D3）。大家可以写一下S3的群表。
抽象代数之S3的自同构群和S3的内自同构群
linux-0.11调试教程
11-26 8876
离散数学-2 命题逻辑等值演算
哈哈岛
03-15 1万+
求公式主析取范式的方法步骤:方法一：等值演算设公式A含命题变项p1,p2,…,pn(1) 求A的析取范式A=B1B2 … Bs , 其中Bj是简单合取式 j=1,2, … ,s(2) 若某个Bj既不含pi, 又不含Øpi, 则将Bj展开成 Bj Bj(pipi)  (Bjpi)(Bjpi)重复这个过程, 直到所有简单合取式都是长度为n的极小项为止...
以模6加法群（Z6，+）认识循环群及其特点
热门推荐
09-23 3万+
 刚开始接触循环群不容易理解，不妨以模6加法群<Z6，+>入手，来认识循环群的特点。 首先，循环群，顾名思义，cycle group即带有循环的意思。怎么个循环法呢？ 我们看<Z6，+>中的元素{0,1,2,3,4,5}。取其中的元素1，不停地对自身进行模6加法，即对本身进行幂运算。 可得： 1^1=1 1^2=1+1=2 1^3=1+1+1=3 1^4=1+...
离散数学
蓝天的博客
03-08 1万+
第一章 命题逻辑 1.1 命题符号化及联结词 1 .陈述句： 叙述或说明事实的具有陈述语调的句子。 2.命题：能判断真假的陈述句。 3.称判断为正确的命题的真值为真，判断错误的命题的真值为假，因此称命题是具有唯一真值的陈述句。 4.命题分为简单命题和复合命题；不能分解成更简单句子的命题称为简单命题或原子命题，用小写的英文字母p,q,r,...,pi,qi,ri,...表示简单命题，称为命题符号...
1.2命题公式及其赋值
FRESHET的专栏
08-14 8245
上节讨论了简单命题(原子命题)和复合命题以及它们的符号化形式简单命题是命题逻辑中最基本的研究单位,其真值是确定的,又称作命题常项或命题常元,命题常项相当于初中的常数。初等数学中还有变量,对应地这里有命题变项。取值1(真)或0(假)的变元称作命题变项或命题变元可以用命题变项表示真值可以变化的陈述句.命题变项不是命题,命题变项与命题常项的关系如同初等数学中变量与常量的关系今后也用p,q,r,…表示命题...
离散数学---循环群，左陪集，子群
、思考致富的博客
05-03 2万+
循环群：若—个群G的每—个元都是G的某—个固定元a的乘方，则称G为循环群，记作G=(a)，a称为G的—个生成元。 代数系统：S是非空集合，f1, f2, f3…是这个集合上的运算，如果关于任意一个集合上的元素，经过这些运算后的结果还是在这个集合当中**（封闭性）**，那么称<S, f1, f2…, fn>为一个代数系统。 例如 <R, +, -, ×, ÷> 零元：给定代数...
离散数学基础（命题的合式公式）
Chen Yuanshen的专栏
04-17 1万+
1. 合式公式 • 我们会逐渐进入命题逻辑的形式讨论：我们对命题只注意其命题形式，对联结词只注意其逻辑意义。 • 命题逻辑合式公式的定义给出了命题逻辑研究的对象范围。所有符合定义的合式公式构成合式公式空间，它可被视为命题逻辑的符号化语言。语言的结构包括符号表、语法规则（即合适公式定义）和语义（也即真值）。 • 定义：符号化语言 Lp 的符号表包括 − 小写英文字母：p, q
数域F上有限维线性空间V1V2同构的充要条件：_______．
最新发布
05-19
数域F上有限维线性空间V1和V2同构的充要条件是它们的维数相等，即dim(V1) = dim(V2)。也即存在一个从V1到V2的双射线性变换。具体来说，如果存在一个从V1到V2的双射线性变换T，则T是一个同构映射，使得对于任意的v1∈V1和任意的标量c∈F，都有T(cv1) = cT(v1)。反之，如果V1和V2的维数相等，则存在一个从V1到V2的双射线性变换，也就是一个同构映射。
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值