离散数学4_1[2014_10_27]探析.ppt

* Colossus——1943的计算机就投入了运行，用于译解德国密码，英国政府1970年之前一直对它保密， 随着计算机技术的发展，计算机的应用越来越广泛，总结出来的相关知识和内容越来越多，同时，需要研究解决的技术问题也越来越多。 * Colossus——1943的计算机就投入了运行，用于译解德国密码，英国政府1970年之前一直对它保密， 随着计算机技术的发展，计算机的应用越来越广泛，总结出来的相关知识和内容越来越多，同时，需要研究解决的技术问题也越来越多。 整个关系数据库理论都是建立在很完美的关系理论的基础上 大家以后学习关系数据库时，只要把“关系”理论学好，余下的问题都很好解决 * * * * * * * * * * * * * * * * * * * * * * * 主讲教师：常亮 E-mail: changl@guet.edu.cn QQ：737059669 办公室电话: 2291071 手机: 辅导教师：周小川 答疑时间：星期四 上午 10:20-11:50 答疑地点：5教5楼 软件工程教研室 离散数学 第二部分 数理逻辑 教材：第4章-第5章 从历史观看数理逻辑 数理逻辑：以数学的方法研究思维规律和推理过程的学科。 将数学应用于逻辑。 逻辑：研究思维形式及其规律 Aristotle：形式逻辑(主词和谓词逻辑)；一般格