浅谈数理逻辑在计算机科学中的应用论文

浅谈数理逻辑在计算机科学中的应用论文　　关键词：数理逻辑；命题逻辑；一阶逻辑；推理理论　　离散数学是现代数学的重要分支，是研究离散量的结构及相互关系的学科，它在计算机理论研究及软、硬件开发的各个领域