同算法

A. 用等值演算法求公式┐(p→q)的主析取范式和主合取范式。

¬(P∨Q)→R⇔¬(¬(PVQ))∨R⇔(PVQ)VR⇔PVQVR
使该式为真,则P,Q,R中至少有一项为真即可,因此所有成真赋值范式如下：
P Q R；0 0 1；0 1 0；0 1 1；1 0 0；1 0 1；1 1 0；1 1 1

另外，已知：p->q ┐pvq，那么 ┐（pq），┐( (p->q ) ^ (q->p) )，┐( (┐pvq ) ^ (┐qvp) )

┐ (┐pvq ) v ┐ (┐qvp)(p ^ ┐q ) v (q ^ ┐p)。则(p v q ) ^ (┐p v ┐ q)(p ^ (┐p v ┐q)) v (q ^ (┐p v ┐ q))，(p ^ ┐q ) v (q ^ ┐p) 左边

(1)同算法扩展阅读：

等值演算

如果两个公式A与B含有相同的命题变元，如果在所有指派下，A与B的真值都相同，则说明这两个公式是等值的。等值算法是利用已知的等值式通过代换得到新的等值式。

判断两个公式是否等值，最直接的方法就是用真值表法，判断A与B是否在所有指派下同真值，或者判断A等价B是否是重言式。但是当命题变元较多的是时候，真值表法判断公式等值的工作量是很大的。这时，等值算法的强大功能就凸显出来了。

B. Bresenham直线算法的演算方法

Bresenham直线算法描绘的直线。假设我们需要由 (x0, y0) 这一点，绘画一直线至右下角的另一点(x1, y1)，x,y分别代表其水平及垂直坐标，并且 x1 - x0 > y1 - y0。在此我们使用电脑系统常用的坐标系，即x坐标值沿x轴向右增长，y坐标值沿y轴向下增长。
因此x及y之值分别向右及向下增加，而两点之水平距离为x1 − x0且垂直距离为y1-y0。由此得之，该线的斜率必定介乎于1至0之间。而此算法之目的，就是找出在x0与x1之间，第x行相对应的第y列，从而得出一像素点，使得该像素点的位置最接近原本的线。
对于由(x0, y0)及(x1, y1)两点所组成之直线，公式如下：
因此，对于每一点的x，其y的值是
因为x及y皆为整数，但并非每一点x所对应的y皆为整数，故此没有必要去计算每一点x所对应之y值。反之由于此线之斜率介乎于1至0之间，故此我们只需要找出当x到达那一个数值时，会使y上升1，若x尚未到此值，则y不变。至于如何找出相关的x值，则需依靠斜率。斜率之计算方法为m = (y1 − y0) / (x1 − x0)。由于此值不变，故可于运算前预先计算，减少运算次数。
要实行此算法，我们需计算每一像素点与该线之间的误差。于上述例子中，误差应为每一点x中，其相对的像素点之y值与该线实际之y值的差距。每当x的值增加1，误差的值就会增加m。每当误差的值超出0.5，线就会比较靠近下一个映像点，因此y的值便会加1，且误差减1。
下列伪代码是这算法的简单表达（其中的plot(x,y)绘画该点，abs返回的是绝对值）。虽然用了代价较高的浮点运算，但很容易就可以改用整数运算（详见最佳化一节）：
function line(x0, x1, y0, y1)
int deltax := x1 - x0
int deltay := y1 - y0
real error := 0
real deltaerr := deltay / deltax // 假设 deltax != 0 （非垂直线），
// 注意：需保留除法运算结果的小数部分
int y := y0
for x from x0 to x1
plot(x,y)
error := error + deltaerr
if abs(error) ≥ 0.5 then
y := y + 1
error := error - 1.0

C. 离散数学 等值算法

设p:派赵出国，q:派钱出国，r:派孙出国，s:派李出国，t:派周出国。则各条件分别符号化为:

(1)p→q，(2)(sVt),(3)(qA7r)V(-q^r)，(4)(rAs)V(→rA-s)，(5)1-+(p^q) 要求满足各条件，

因而要求(1)~(5)的合取式为真.设:A≈(p→q)A(sV1)八((q八→r)V(→qλr))A((rAs)V(r八-s))∩(t→(p^q))

为了求出各派遣方案,应求出A的析取范式，最好是主析取范式，主析取范式中含的极小项个数为派遣方案数，由各极小项的成真赋值给出如何派法.所以要求出A的主析取范式。

下面给出求A的主析取范式的主要步骤:

易知，成真赋值为00110与11001。

方案1：孙、李出国，而赵.钱、周不去。
方案2：赵、钱、周出国，而孙、李不去。

(3)同算法扩展阅读

随着信息时代的到来，工业革命时代以微积分为代表的连续数学占主流的地位已经发生了变化，离散数学的重要性逐渐被人们认识。离散数学课程所传授的思想和方法，广泛地体现在计算机科学技术及相关专业的诸领域，从科学计算到信息处理，从理论计算机科学到计算机应用技术，从计算机软件到计算机硬件，从人工智能到认知系统，无不与离散数学密切相关。

由于数字电子计算机是一个离散结构，它只能处理离散的或离散化了的数量关系， 因此，无论计算机科学本身，还是与计算机科学及其应用密切相关的现代科学研究领域，都面临着如何对离散结构建立相应的数学模型；又如何将已用连续数量关系建立起来的数学模型离散化，从而可由计算机加以处理。

离散数学是传统的逻辑学，集合论（包括函数），数论基础，算法设计，组合分析，离散概率，关系理论，图论与树，抽象代数（包括代数系统，群、环、域等），布尔代数，计算模型（语言与自动机）等汇集起来的一门综合学科。离散数学的应用遍及现代科学技术的诸多领域。

离散数学也可以说是计算机科学的基础核心学科，在离散数学中的有一个着名的典型例子-四色定理又称四色猜想，这是世界近代三大数学难题之一，它是在1852年，由英国的一名绘图员弗南西斯·格思里提出的，他在进行地图着色时，发现了一个现象，“每幅地图都可以仅用四种颜色着色，并且共同边界的国家都可以被着上不同的颜色”。

那么这能否从数学上进行证明呢？100多年后的1976年，肯尼斯·阿佩尔（Kenneth Appel）和沃尔夫冈·哈肯（Wolfgang Haken）使用计算机辅助计算，用了1200个小时和100亿次的判断，终于证明了四色定理，轰动世界，这就是离散数学与计算机科学相互协作的结果。

D. 离散数学，用等值算法判定下列公式的类型，要过程，谢谢

(q∧(p↔q))→¬(p∨¬q)
⇔ ¬(q∧(p↔q))∨¬(p∨¬q) 变成 合取析取
⇔ ¬(q∧((p→q)∧(q→p)))∨¬(p∨¬q) 变成 合取析取
⇔ ¬(q∧((¬p∨q)∧(¬q∨p)))∨¬(p∨¬q) 变成 合取析取
⇔ (¬p∧q)∨(¬q∨¬((¬p∨q)∧(¬q∨p))) 德摩根定律
⇔ (¬p∧q)∨(¬q∨(¬(¬p∨q)∨¬(¬q∨p))) 德摩根定律
⇔ (¬p∧q)∨(¬q∨((p∧¬q)∨(q∧¬p))) 德摩根定律
⇔ (¬p∧q)∨¬q∨((p∧¬q)∨(¬p∧q)) 结合律
⇔ (¬p∧q)∨¬q∨(p∧¬q)∨(¬p∧q) 结合律
⇔ ¬q∨(p∧¬q)∨(¬p∧q) 等幂律
⇔ ¬q∨(¬p∧q) 合取析取 吸收率
⇔ ¬q∨¬p 合取析取 吸收率

是可满足式

E. 台湾的大学课程算法相当于大陆的哪门课

就是大陆学校里的算法设计与分析

F. Algorithm算法的介绍

Algorithm算法本来是学术(如数学、程序)领域中的用语，然而当套用在音乐电子器材上的时候，它指的是：不同的数字效果器串接的顺序。 大部份的数字效果处理机都已含有各种算法。

G. 已知加密前后数值,求当中算法破解

不可能的，要是可以破解的话现有的加密算法都不安全了

H. 等值算法和主析取范式法的区别

等值算法和主析取范式法的区别：算法不同，含义不同。

一、算法不同：已知：p->q┐pvq，左边┐（pq），┐（（p->q）^（q->p）），（p^┐q）v（q^┐p），右边（pvq）^（┐pv┐q），（p^┐q）v（q^┐p）左边。

二、含义不同：¬（P∨Q）→R⇔¬（¬（PVQ））∨R⇔（PVQ）VR⇔PVQVR，使该式为真，则P，Q，R中至少有一项为真即可，因此所有成真赋值范式如下：PQR；001；010；011；100；101；110；111。

证明：

假设非永假式A（P1，P2，P3，Pn）有两个不同的主析取范式A1和A2则A<=>A1，A<=>A2，故A1<=>A2，由于A1和A2是两个不同的主析取范式故，至少存在一最小项mi，是mi只存在于A1和A2两者之一中，不妨设mi在A1中，而不再A2中。设mi在A1中有一组成真指派R，于是在R指派下，主析取范式A1为真，但在R指派情况下，主析取范式A2为假，这与A1<=>A2相矛盾。

I. 等化器的可适性算法(for MSE)

通讯传输等化器设计，很重要的就是要找出最佳的tap-delay-line filter系数，找出一组可以误差最小的系数。而在时变(time-invariant)通道中，通道状况随时在改变，所以在设计等化器时便要因应不同的通道状况，随时调整计算出使误差最小的系数，这种算法变称为adaptive algorithms。 可适性(adaptive)算法的好坏可由下列几项标准判定:
收敛速度:算法在经过多少次重复运算后可以相当接近最后想要的结果
每次重复运算(iteration)的计算量
错误调整(misadjustment)的大小
LMS算法
LMS算法通常包含两部分(由以下两者相互运作行程一回授(feedback loop)
率波程序(filtering process): 1.计算线系滤波器输出对输入信号的反应
2.比较输出信号和想要的信号(desire signal)得到预测误差
可适性程序(adaptive process):对于估测误差，自动调整等化器参数 d(n):为想得到的信号 u(n):等化器输入信号 y(n):等化器输出信号 w(n):可时变的tap-delay line filter系数
由于LMS算法不需要事先求得u(n)的自相关函数(ACF)及u(n)和d(n)的交相关函数(CCF)，因此在运算上简化许多，也由于w(n)是e(n)及u(n)的 函式(e(n)u(n)是随机程序)，所以LMS算法是一统计滤波器(stochastic filter)。
在设计LMS-based可适性滤波器时，如何决定step-size u使LMS算法收敛是一项相当重要的议题 当0<u<2/ŋ时，LMS算法收敛(ŋ_max是u*u的最大特征值 RLS算法对每个n值,我们根据W[N]来估计新的最小平方差解，我们在用w(n)来寻找,来表示新的w(n+1)估计值时,希望避免LS算法全部从头重做的情况，用RLS算法的好处是我们不用将矩阵反置(inverse),如此一来可以节省运算POWER
算法:
1.初始条件:P(0)=δ^(-1)˙I , w(0)=0 ,δ是一大于零很小的常数
2.for n=1,2,.... 计算k(n),z(n),w(n)
LMS和RLS两者比较:
1.LMS 算法的运算量少，为L 的等级（L为滤波器的长度），但收敛速度受到输入信号的统计特性所影响，需花较多时间达到要求的收敛性能
2.RLS 算法虽然收敛速度快，但却需要巨大的运算量，为L平方的等级。

J. 算法是什么主要的数学意义是什么

东风数学主要特征：1具有实用性，有较强的社会性；2算法程序化模型化；3寓理与算并且是开放的归纳系统
西方数学主要特征：1封闭的逻辑演绎体系季节化的算法；2古希腊的数字与神秘性结合；3将数学抽象化；4希腊数学重视数学在美学上的意义
希腊人在数学上的贡献主要是创立了平面几何，立体几何，平面与球面三角，数论。推广了算数与代数。
东方数学注重实用性社会性，使数学与我们的生活密切联系，二者都推动了现代数学的发展，都开创了数学的先河。