《电子报》2001年合订本是全国最畅销电子图书之一，该书分上、下册，主要介绍电子类实用技术，以及电子信息、电子产品消费指南、电子动态等内容。

MM、GG、恐龙、青蛙……这些网上聊天的称呼会用吗？怎样才能在聊天时交到好朋友，如何才能避免遇到“网络坏蛋”呢？好好听大胡子博士讲吧！本书以生动的卡通形象和简洁通俗的文字讲解了网上聊天。

拟电子电路故障诊断成为继网路分析和网络综合之后的网络理论的第三大分支。本书试图对已有的模拟电子电路的故障诊断方法和理论作一系统的总结，揭示现有各种诊断方法的基本思想，阐述其有关基础知识，以及该领域的研究和发展趋向。作者在1988年开始为研究生开设的“自动测试与故障诊断理论基础”学位课程的讲义基础上，经过六年多的教学实践，并总结了作者最新研究成果，对模拟系统测试部分的讲稿，经整理与修改，编制成本教材。教材还尽可能反映国际上最新技术。全书共有七章。第一章绪论。第二、三、四章详细阐述了模拟电子电路故障诊断中的故障字典法、参数识别法和故障验证法的基本原理和实施方法。第五至第七章分别介绍了专家系统及其在模拟电子电路故障诊断中的应用技术；模拟系统可靠性的概念和设计方法；模拟系统的自动测试设备的构成和软件编程方法，其中介绍了一种最常见的模拟电路测试方法――路内测试。每章后附有习题和参考文献。全书体现了该领域的全貌。本书是自动化、计算机和无线电等专业的高年级学生和研究生学习网路测试与故障诊断的教材，也是从事模拟电子电路设计、测试和维修的专业技术人员必不可少的参考书。

本书较全面地介绍了计算机使用中的基本知识．以实用为出发点，力求读者在着完本书后能够独立地处理计算机的一些日常维护并可利用计算机独立完成日常的办公文档和数据处理。同时本书也是为计算机培训班编写的教材，是一本适合于计算机初学者的自学参考书，还可以作为计算机一般用户的使用参考手册。

本书从硬件、软件、因特网、局域网4个角度全方位地讲解最实用的电脑新知识与技能，内容涵盖硬件技术、采购、维护，软件应用，上网技巧，网页制作，小型局域网组建等诸多范畴，介绍全面，切中精要，由浅入深，循序渐进。电脑爱好者购买一本这样的“合成本”，便可以从中学到各个领域的电脑知识和实用技术，迅速成为电脑多能行家，可谓“一书在手，应有尽有”。本书适合社会各个阶层的电脑初学者、爱好者、发烧友，以及希望全面提高电脑技能的读者阅读，还可作为普通电脑爱好者的案头速查手册。

第一篇数理逻辑第1章命题逻辑1．1命题及其表示法和联结词1．2命题公式与翻译1．3真值表与等价式1．4公式的恒真与蕴含1．5形式演绎1．6范式与主范式第2章一阶逻辑2．1一阶逻辑的概念与表示2．2一阶逻辑公式与翻译2．3等价式与前束范式2．4一阶逻辑推理理论第二篇集合论第3章集合的基本概念与运算3．1集合的概念与表示法3．2集合的基本运算3．3笛卡尔乘积第4章关系4．1关系及其表示4．2关系的性质4．3关系的运算4．4关系的闭包4．5等价关系4．6偏序关系第5章函数5．1函数的定义和性质5．2逆函数与复合函数第三篇代数系统第6章代数结构6．1代数系统的基本概念6．2运算的性质6．3同态与同构第7章群论7．1半群与群7．2变换群与置换群7．3子群与循环群7．4陪集与不变子群7．5商群与群的同态第8章几个特殊的代数系统8．1环与域8．2格与布尔代数第四篇图论第9章图的概念9．1图的基本概念9．2图的连通性、路、回路9．3图的矩阵表示9．4权图中的最短路问题第10章特殊图10．1欧拉图10．2汉密尔顿图10．3平面图第11章树11．1无向树11．2有向树与根树11．3二叉树及其应用总复习题总复习题答案

本书介绍了计算机的基本组成和工作原理、微型计算机及其操作系统，中文Windows 98操作系统、中文字处理软件 Word 2000、中文Excel 2000、计算机网络、多媒体技术与应用、常用工具软件的使用、计算机病毒与系统安全等。

光互连是一种利用各种光传输介质把计算机系统内各部件或各子系统连接起来并通过光来高速传递信息的技术；是光学、物理学及计算机科学的综合交叉性新领域。而我国从计算机学科的角度来进行研究和应用光互连技术才刚刚开始，介绍光互连技术的书籍更是少之又少。本书收集、整理和总结了二十多年来国际上光互连领域的一些重要研究成果和发展现状，主要介绍了光互连技术的基本原理、构成、实现方法及其在大规模并行处理领域的应用。通过本书可了解到光互连技术领域的最新进展状况及其技术实质和应用前景。本书内容新颖，实例丰富，图文并茂。可作为计算机科学与工程、光电子科学与工程及物理学等领域科研人员的参考书，也可作为上述专业或相关专业博士生、硕士生及大学生的教材或参考书。

Constraints provide a declarative way of representing infinite sets of data. They are well suited for combining different logical or programming paradigms as has been known for constraint logic programming since the 1980s and more recently for functional programming. The use of constraints in automated deduction is more recent and has proved to be very successful， moving the control from the meta-level to the constraints， which are now first-class objects.This monograph-like book presents six thoroughly reviewed and revised lectures given by leading researchers at the summer school organized by the ESPRIT CCL Working Group in Gif-sur-Yvette， France， in September 1999. The book offers coherently written chapters on constraints and constraint solving， constraint solving on terms， combining constraint solving， constraints and theorem proving， functional and constraint logic programming， and building industrial applications.

本书系统地介绍计算机模拟技术，重点讨论细胞结构的计算机模拟方法。全书共七章，第一章简要介绍计算机模拟的基本概念、方法和应用；第二章讨论连续系统的模拟，主要介绍数值积分；第三章介绍离散系统的计算机模拟；第四章介绍无序“细胞”结构的一些模型，这些模拟在实际科研中经常用到；第五章讨论二维肥皂泡的连续法计算机模拟；第六章为二维“细胞”结构的离散模拟；第七章简要地介绍常用的计算机模拟语言和几个模拟实例。 为加深理解和增强学习效果，每章后面都设计了一定数量和一定深度的习题供读者练习，读者一定要花些时间去完成，书中的例题可供参考。本书可作为高等学校电子信息、计算机科学与技术及有关专业的教材，亦可供相关领域科研人中参考。