Ta上传的资源 (0)

免安装版Mysql5现在主要有两个版本，mysql-noinstall-5.1.6(win32)和MySQL-5.1.5-alpha(win)，都可以在本站下载到 mysql-noinstall-5.1.6(win32)下载地址：http://download.mysql.cn/src/2006/0

Although this Seventh Edition no longer bears their byline, Ken Thompson and Dennis Ritchie remain the fathers and preceptors of the UNIX† time-sharin

译者序 数理逻辑作为基础数学的一个重要分支， 在计算机科学中起着奠基作用， 在模糊数学和 人工智能等方面也都有着广泛的应用， 有关它的教材和参考书有许多. 我们选择Herbert B. Enderton 教授编写的这本数理逻辑教材是因为该书以可读性强而著称， 在美国大学中采用 率很高， 是数理逻辑方

本书结合作者多年的教学经验，采用接近学生思维习惯的平实语言，并参考国内外多种 同类教材编写而成。全书共分5 章，第1 章命题逻辑，第2 章谓词逻辑，第3 章集合论与关 系，第4 章代数系统，第5 章图论。各章相对独立又有机联系，证明力求平实，定理、例题、 习题、实验题互相呼应，深入浅出。本书配有多媒