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

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

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

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

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

第一篇数理逻辑第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二叉树及其应用总复习题总复习题答案

本丛书旨在作为茫茫知识海洋中的航标，导引我们遨游自然科学和技术研究的最为重要的专业领域；文笔通俗易懂，重点放在基础性、关键性的知识和理论，并且自始至终刻意地省略了艰深的细节问题。担纲本丛书写作的是一些杰出的科普作家，他们的日常工作就是用深入浅出的语言向人们讲解复杂深奥的科技内容。本书叙述的是——研究者们怎样逐步地揭示物质的结构和构造，以及如何日益明晰地认识元素的性质及相互关系：从古代的自然哲学者到拉瓦锡，再到李比希与门捷列夫，最后到现代尖端的化学实验室。作者还以通俗易懂的方式介绍了基础化学知识，并且坦率地谈论了这门自然学科的潜在机遇与挑战。

This book constitutes the refereed proceedings of the 12th Annual Symposium on Combinatorial Pattern Matching， CPM 2001， held in Jerusalem， Israel， in July 2001.The 21 revised papers presented together with one invited paper were carefully reviewed and selected from 35 submissions. The papers are devoted to current theoretical and algorithmic issues of searching and matching strings and more complicated patterns such as trees， regular expressions， graphs， point sets， and arrays as well as to advanced applications of CPM in areas such as the Internet， computational biology， multimedia systems， information retrieval， data compression， coding， computer vision， and pattern recognition.

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

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.