浅谈数理逻辑在计算机科学中的应用论文(第2页)
本文共计1981个字，预计阅读时长7分钟。【 字体：大 中 小 】
微信号已复制到剪贴板
例3 著名的n皇后问题是：是否可以将n(n为正整数)个皇后放在的棋盘上，使得每行每列都有且仅有一个皇后，并且每条对角线上如果有皇后且仅有一个。
通过上述几个实例的验证，会发现数理逻辑在计算机科学中的应用非常广泛，可以把计算机科学中表面上看似不相干的内容通过找出其内在的联系作为前提，利用数理逻辑中的推理理论得到结论。
参考文献：
[1] 郭远华.若干逻辑自动推理方法研究[J].华东师范大学博士学位论文.2009.
[2] 屈婉玲、耿素云、张立昂.离散数学（第2版）[M].北京：清华大学出版社,2008.
论文客服 微信扫一扫
论文范文
