[中科院][研究生课程][面向计算机科学的数理逻辑]

天亮

　　带着感动的心情听完了陆老师讲授的面向计算机科学的数理逻辑。听说，当时是陆老师抱病参加的录像，很不容易。讲课以板书为主，语速适中，讲课深入浅出，生动有趣，主要是以第一版内容为对象，但教材使用第二版也无仿。陆老师的数理逻辑造诣很深，但这次讲解主要是选择理逻辑中与计算机科学有紧密联系并且相互关联的若干内容，比如经典逻辑与非经典逻辑中的构造性逻辑和模态逻辑，并考虑了逻辑系统的特征以及计算机科学的要求，还讲授了各种逻辑背景、语言、语义、形式推演以及可靠性和完备性问题。
　　建议从事计算机理论方面研究的可以听一下，从而获得扎实的数理逻辑的训练。

[ 本帖最后由 天亮 于 2009-3-20 18:02 编辑 ]