离散数学格的问题 _离散数学中格的判断是什么啊？

格是用来表达对象之间关系的，因此关于格还需要从对象元素的内在关系来理解，如包含关系、子集与诸子集关系、命题的蕴含关系，但又不是所有的两两对象都能有这种关系，所以偏序关系用格来限量研究它的对象关系的性质和作用。如求解一个群部分与子群的部分的关系就是求格，求的是什么情况下群的部分即是子群的上确界或下确界，又和子群集有着特殊的共性关系。
简单的离散数学问题1 S上的有序对有<1,1>,<1,2>，<2,1>,<2,2> 4个
偏序关系需要满足自反，反对称，传递
即<1,1>,<2,2>都属于偏序集，<1,2>,<2,1>不能同时属于偏序集
所以一共有2^2-1=3个偏序关系
因为S上有序对有4个，所以二元关系有2^4=16个
2 4个元素集合的满射，即是4个元素集合的双射个数
显然双射有4！=24个
3x中有3个元素，设等价关系为R
等价关系是自反，对称，传递
所以对任意的a∈X,<a,a>都属于这个等价关系R
对称需要满足对于任意的a,b ,若<a,b>属于R,则<b,a>属于R
传递需要满足对于任意的a,b,c若<a,b>,<b,c>属于R, 则<a,c>属于R
只需要计算R中出现不同的a,b <a,b>∈R一共有几种可能
1）一个<a,b>属于R都没有，这样的等价关系只有一种为恒等关系Ix
2)有一个<a,b>属于R，则根据对称<b，a>也属于R
这样的<a,b>一共有C(3,2)=3个
3）有2个不同的有序对<a,b><a,c>,因为对称和传递性可知，<b,a>,<c,a><b,c><c,b>都属于R,这样的等价关系也只有一种，即X上的全关系Ex
所以一共有5种
离散数学中格的判断是什么啊？{ d，e } 有下界a，b，c，但没有最大下界。
从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系。
无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。
扩展资料：

【离散数学格的问题】学科内容：
1、集合论部分：集合及其运算、二元关系与函数、自然数及自然数集、集合的基数。
2、图论部分：图的基本概念、欧拉图与哈密顿图、树、图的矩阵表示、平面图、图着色、支配集、覆盖集、独立集与匹配、带权图及其应用。
3、代数结构部分：代数系统的基本概念、半群与独异点、群、环与域、格与布尔代数。
4、组合数学部分：组合存在性定理、基本的计数公式、组合计数方法、组合计数定理。
5、数理逻辑部分：命题逻辑、一阶谓词演算、消解原理。
参考资料来源：百度百科-离散数学

离散数学问题简言之，命题常元就是简单命题（原子命题），是不可分解的命题。
例如：2是偶数。
明天是星期天。
等等。
命题变元就是真值不唯一（可真可假）的陈述句，不是命题。
例如：小明与小王是同学。
x+y=3
等等。
二者在命题符号化时都用小写字母表示，
p,q,r或p1,p2 。。
急急急！！！离散数学问题设 M(x):x是人,H(x):x是要死的,s:苏格拉底
前提:"凡人都是要死的"符号化为(Ax)(M(x)→H(x)),"苏格拉底是人"符号化为M(s),这里(Ax)表示全称量词
结论:"苏格拉底是要死的"符号化为H(s)
构造证明如下:
(1)(Ax)(M(x)→H(x))
(2)(M(s)→H(s))
(3)M(s)
(4)H(s)