Question

离散数学，数理逻辑，应用逻辑，它们之间什么关系？

Answer 1

1.离散数学包括了: 集合论，数理逻辑，数论，图论，抽象代数，组合数学
2.数理逻辑是将传统的形式逻辑数学公理化和严格程式化的结果。
3.应用逻辑是逻辑系统在机械/电子领域的具体实现方法和策略等等，并不研究逻辑本身的数学问题。