deqing_miao的博客

译者序 数理逻辑作为基础数学的一个重要分支， 在计算机科学中起着奠基作用， 在模糊数学和 人工智能等方面也都有着广泛的应用， 有关它的教材和参考书有许多. 我们选择Herbert B. Enderton 教授编写的这本数理逻辑教材是因为该书以可读性强而著称， 在美国大学中采用 率很高， 是数理逻辑方面的经典教材之一. 同时， 在第2 版的修订中， 作者增加了模型论和 递归论的一些基础知识， 其中有限模型、解析算法、有限计算和可判定性等内容都与计算机 科学密切相关， 这些内容是目前多数数理逻辑教材所没有的. 而这些知识， 无论对于计算机 专业还是基础数学专业的学生来说都是很重要的. 通过对这些内容的学习， 学生能够加深对 数理逻辑的了解，更多地接触数理逻辑在可计算性理论中的一些前沿应用. 本书除了内容上的改进之外， 与传统教材相比， 在编排方面也很有特点. 章节组织灵活， 各章节内容相对独立. 读者会发现， 不少章节的脚注中都有选学提示， 可以根据个人需要选 择适当的部分学习， 而不会影响内容的连贯性， 同时学有余力的读者也可进一步扩展知识 面. 本书注重数理逻辑与其他数学分支的联系， 引进了非标准分析、抽象代数和数论中的一 些知识和例子， 但这些内容的叙述并不晦涩难懂. 作者用清晰形象的语言阐述它们， 大量独 具匠心的解释使枯燥的定义、定理变得容易理解和接受. 既使熟悉数学的学生感受到数理逻 辑与数学其他分支的紧密联系， 又使不熟悉数学的学生对这些内容有直观的认识. 作者充分了解学生学习的难点和易犯的错误，增加了不少示例和解释. 用适当的示例结 合一针见血的解释以及形象易懂的图形和图表， 以不多的文字点出问题的关键所在. 基于上述特点， 本教材适合于数学、哲学、计算机科学以及其他学科需要学习数理逻辑 的本科生和研究生， 同时对于以数理逻辑为工具从事研究工作的科研工作者也是一本很好 的参考书. 我们相信， 第2 版中译本的出现能够让更多的师生在愉快的教与学中得到逻辑严 谨美的享受. 由于数理逻辑主要研究形式语言， 这种语言不同于我们平常使用的汉语、英语等自然语 言. 在翻译的过程中， 为了行文的连贯， 我们将"英语中的…… "译成"汉语中的...... "一 部分术语翻译成数理逻辑中常用的名词， 除个别词之外， 尽可能与数学、计算机科学中的名 词一致. 本书由北京师范大学信息科学学院、哲学与社会学学院和经济学院的三位教师合作翻 译而成. 由于译者水平有限， 书中难免有疏漏和不妥之处， 敬请广大师生、同行和专家批评 指正!

本书结合作者多年的教学经验，采用接近学生思维习惯的平实语言，并参考国内外多种 同类教材编写而成。全书共分5 章，第1 章命题逻辑，第2 章谓词逻辑，第3 章集合论与关 系，第4 章代数系统，第5 章图论。各章相对独立又有机联系，证明力求平实，定理、例题、 习题、实验题互相呼应，深入浅出。本书配有多媒体课件。 本书既可作为高等院校计算机科学与技术、软件工程、电子商务及相关专业的教材，也 可作为相关专业人员自学与参考。

This book is for people who want to write programs that communicate with each other using an application program interface API known as sockets Some readers may be very familiar with sockets already as that model has become synonymous with network programming Others may need an introduction to sockets from the ground up The goal of this book is to offer guidance on network programming for beginners as well as professionals for those developing new network aware applications as well as those maintaining existing code and for people who simply want to understand how the networking components of their system function All the examples in this text are actual runnable code tested on Unix systems However many non Unix systems support the sockets API and the examples are largely operating systemindependent as are the general concepts we present Virtually every operating system OS provides numerous network aware applications such as Web browsers email clients and filesharing servers We discuss the usual partitioning of these applications into client and server and write our own small examples of these many times throughout the text ">This book is for people who want to write programs that communicate with each other using an application program interface API known as sockets Some readers may be very familiar with sockets already as that model has become synonymous with network programming Others may need an introduction to [更多]

Although this Seventh Edition no longer bears their byline, Ken Thompson and Dennis Ritchie remain the fathers and preceptors of the UNIX† time-sharing system. Many of the improvements here described bear their mark. Among many, many other people who have contributed to the further flowering of UNIX, we wish especially to acknowledge the contributions of A. V. Aho, S. R. Bourne, L. L. Cherry, G. L. Chesson, S. I. Feldman, C. B. Haley, R. C. Haight, S. C. Johnson, M. E. Lesk, T. L. Lyon, L. E. McMahon, R. Morris, R. Muha, D. A. Nowitz, L. Wehr, and P. J. Weinberger. We appreciate also the effective advice and criticism of T. A. Dolotta, A. G. Fraser, J. F. Maranzano, and J. R. Mashey; and we remember the important work of the late Joseph F. Ossanna

西南交通大学2013年硕士研究生入学考试试卷.

西南交通大学2006年硕士研究生入学考试试卷.

免安装版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/0302/205.html MySQL-5.1.5-alpha(win)下载地址：http://download.mysql.cn/src/2006/0213/105.html 但是，不建议使用alpha版。 我以mysql-noinstall-5.1.6(win32)为例，简单说明下使用方法，希望能对大家有所帮助，不足支出，请大家指正。 下载到mysql-noinstall-5.0.13-rc-win32.zip文件，右击改文件选择“解压到当前文件夹”，如图1 图1 然后等待，一会儿系统自动解压出mysql-5.0.13-rc-win32文件夹，为了方便记忆，将文件夹名称改为mysql。一般为了使用起来方便，将mysql文件夹放在某个分区的根目录，我放在了D盘根目录。 打开mysql文件夹，里面应该有下面一些文件，如图2 图2 bin文件夹下面是mysql的一些应用程序； data文件夹下面是mysql的数据文件，mysql的每个数据库都会在data文件夹下面建立一个和数据库同名的文件夹。初始的时候，默认有两个数据库，mysql和test，如图3 图3 我的D:\mysql\data文件夹下面就有mysql和test两个文件夹。 Docs下面自带了一个关于mysql5的英文文档。 那些.ini文件是mysql的配置文件，不要随便修改， 进入到bin文件夹，双击里面的mysqld-nt.exe文件，这时会闪烁一个黑屏，不要着急，这是正常的，然后，用Ctrl+Alt+Del组合键，查看进程，如果有一个叫mysqld-nit.exe的进程，就说明mysql正常运行了，如图4 图4 打开命令行窗口，依次执行命令： d:回车 cd mysql回车 cd bin回车 mysql –uroot –p回车 回车，如图5 图5 最后一个回车的意思是密码为空，出现mysql提示符，到现在mysql就可以正常使用了。 显示现有的所有数据库：show databases;图6 图6 选择其中的一个数据库，比如：use mysql; 显示数据库中所有的表：show tables; 代表我要使用mysql数据库。顺便说一下，命令要以分号结尾，如图7 图7 如果不输入分号，命令永远不会被执行，mysql认为命令没有输入完毕，会等待分号来结束当前命令，如图8 图8