浅谈数理逻辑在计算机科学中的应用论文(第2页)(1981字)_毕业论文网

当前所在位置: 首页 > 计算机 > 正文

浅谈数理逻辑在计算机科学中的应用论文(第2页)

15 次下载 2 页 1981 字【字体：大中小】

论文指导服务

毕业论文网专业团队提供毕业设计、论文写作指导及相关咨询服务

论文指导毕业设计答辩咨询

微信号已复制到剪贴板

　　例3 著名的n皇后问题是：是否可以将n(n为正整数)个皇后放在的棋盘上，使得每行每列都有且仅有一个皇后，并且每条对角线上如果有皇后且仅有一个。

　　通过上述几个实例的验证，会发现数理逻辑在计算机科学中的应用非常广泛，可以把计算机科学中表面上看似不相干的内容通过找出其内在的联系作为前提，利用数理逻辑中的推理理论得到结论。

　　参考文献：

　　[1] 郭远华.若干逻辑自动推理方法研究[J].华东师范大学博士学位论文.2009.

　　[2] 屈婉玲、耿素云、张立昂.离散数学（第2版）[M].北京：清华大学出版社,2008.

阅读全文

首页上一页 1 2

发送到手机微信扫一扫

浅谈数理逻辑在计算机科学中的应用论文(第2页)