数理逻辑—计算机科学的基础

　　数理逻辑包括有集合论，模型论，递归论，证明论和构造性数学。数理逻辑又分为命题逻辑，一阶（谓词）逻辑，二阶逻辑，高阶逻辑等。

　　随着计算机科学的发展，出现了模态逻辑和时态逻辑。古典逻辑是二值逻辑（真与假），除此之外还有三值逻辑（真，假与不知道），四值逻辑，概率逻辑。把古典逻辑看作精确逻辑的话，近代有模糊逻辑。随着计算机科学的发展，数理逻辑正向计算机科学的各个分枝渗透，尤其是人工智能领域，例如定理证明、机器人学、计算机语义学等。