逻辑与在计算机中的应用,数理逻辑在生活与计算机中的应用

离散数学的小论文

对人工智能有实际的采用。采用谓词逻辑语言的演绎过程的形式化有助于我门更清楚的推理某些子命题。因此，人工智能的出现与发展和数理逻辑是分不开的。数理逻辑中的命题逻辑，谓词逻辑和量词在命题中应用。很多实际当中的问题如医疗诊断和信息检索都可以归结为数学逻辑命题的证明。

二、数理逻辑在现实生活中的应用

1.现实中的人员安排和指派问题。

如课本39页第五题。A，B,C，D四个人中要派两个人去出差，按下述三个条件有几种指派方法？如何指派？a)若A去则C和D要去一人；b)B和C不能都去；c)C去则D要留下。 解：

显然可以把这四个人去与不去用不同的符号事件来表是。把他们需要满足的条件用逻辑表达式来表示，然后列出真值表，同时在真值表中筛选出符合题意的安排方案。具体过程可自行解决。

显然这样的问题还有很多，都是通过列真值表来解决的。由于有时逻辑表达式很复杂，我们不易于通过逻辑推理的方式来解决。列表法给我们提供了一种研究方法，把脑力劳动转化为体力劳动，在命题不多的方法情况下是一种很好的方法。

2．数理逻辑在排队论中应用

排队论，又称随机服务理论，他是严爵服务系统中排队现象随机规律的学科，广泛应用于计算机网络，生产，运输，库存的随机服务系统。将数理逻辑的理论用于排队论中，可以解决生产实践中的很多问题，排队论主要应用数理逻辑中的范式理论，范式理论包括合取范式和析取范式，通过判断范式的真值情况

例：甲乙丙丁四人出去参加比赛，向外部透露比赛结果。甲说丙第一，乙第二。乙说丙第二，丁第三。丙说甲第二，丁第四。已知这三个人说的都是一句真，一句假。并且无并列情况。则四个人的实际排名如何？

离散数学还有很多很有趣的应用，我们可以多去了解一些。这不仅可以提高我们学习数学知识的热情，还可以拓宽我们的知识。以补充我们平时重理论，轻应用的学习习惯。