计算机科学理论与基础知识
-
疯狂聊天暂缺作者MM、GG、恐龙、青蛙……这些网上聊天的称呼会用吗?怎样才能在聊天时交到好朋友,如何才能避免遇到“网络坏蛋”呢?好好听大胡子博士讲吧!本书以生动的卡通形象和简洁通俗的文字讲解了网上聊天。
-
最新电脑入门教程刘劲鸥本书较全面地介绍了计算机使用中的基本知识.以实用为出发点,力求读者在着完本书后能够独立地处理计算机的一些日常维护并可利用计算机独立完成日常的办公文档和数据处理。同时本书也是为计算机培训班编写的教材,是一本适合于计算机初学者的自学参考书,还可以作为计算机一般用户的使用参考手册。
-
2001年电子报(杨长春主编)《电子报》2001年合订本是全国最畅销电子图书之一,该书分上、下册,主要介绍电子类实用技术,以及电子信息、电子产品消费指南、电子动态等内容。
-
模拟系统的故障诊断与可靠性设计杨士元编著拟电子电路故障诊断成为继网路分析和网络综合之后的网络理论的第三大分支。本书试图对已有的模拟电子电路的故障诊断方法和理论作一系统的总结,揭示现有各种诊断方法的基本思想,阐述其有关基础知识,以及该领域的研究和发展趋向。作者在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二叉树及其应用总复习题总复习题答案
-
元素的轨迹(德)乌塔·比罗(U.Bilow)著;贾裕民译本丛书旨在作为茫茫知识海洋中的航标,导引我们遨游自然科学和技术研究的最为重要的专业领域;文笔通俗易懂,重点放在基础性、关键性的知识和理论,并且自始至终刻意地省略了艰深的细节问题。担纲本丛书写作的是一些杰出的科普作家,他们的日常工作就是用深入浅出的语言向人们讲解复杂深奥的科技内容。本书叙述的是——研究者们怎样逐步地揭示物质的结构和构造,以及如何日益明晰地认识元素的性质及相互关系:从古代的自然哲学者到拉瓦锡,再到李比希与门捷列夫,最后到现代尖端的化学实验室。作者还以通俗易懂的方式介绍了基础化学知识,并且坦率地谈论了这门自然学科的潜在机遇与挑战。
-
21世纪电脑操作基础与应用匡松本书以科学的内容组合,注重实用性和可操作性,以轻松的文字,直观的图示,详细的操作步骤,易学易懂的方式,介绍计算机的基本知识,计算机的保养与维护;计算机的安全知识;键盘操作与指法练习;DOS操作系统的基本使用;拼音输入法与五笔字型输入法;中文Windows 98/2000的使用;字处理软件Word 2000、WPS 2000的使用;电子表格Excel 2000的应用;电子幻灯PowerPoint 2000的使用;Internet上网操作;电子邮悠扬的发送与接收;FrontPage 2000网页设计入门等内容。本书通俗易懂,能非常有效地帮助用户快速地掌握计算机实用操作技术及其应用。本书适合作为大中专院校的学生、各类计算机培训班、各类职业学校的教材,也可作为各类求职人员、公务员以及广大电脑爱好者的自学参考书。
-
算法工程Gerd Stoelting Brodal 著This book constitutes the refereed proceedings of the 5th Workshop on Algorithm Engineering, WAE 2001, held in Aarhus, Denmark, in August 2001. The 15 revised full papers presented were carefully reviewed and selected from 25 submissions. Among the topics addressed are implementation, experimental testing, and fine-tuning of discrete algorithms; novel use of discrete algorithms in other disciplines; empirical research on algorithms and data structures; and methodological issues regarding the process of converting user requirements into efficient algorithmic solutions and implemenations.
-
函数式语言的实现Thomas Arts 等著This book constitutes the thoroughly refereed post-proceedings of the 13th International Workshop on the Implementation of Functional Languages, IFL 2001, held in Stockholm, Sweden in September 2001.The eleven revised full papers presented have gone through a thorough round of post-workshop reviewing and were selected from 28 workshop papers. Among the topics covered are relevant aspects of implementing and using functional languages, such as type systems, compilation, program optimization, theorem proving, program correctness, program analysis, parallel compilers, subtyping, and generic programming.
-
光互连与并行处理李之棠等光互连是一种利用各种光传输介质把计算机系统内各部件或各子系统连接起来并通过光来高速传递信息的技术;是光学、物理学及计算机科学的综合交叉性新领域。而我国从计算机学科的角度来进行研究和应用光互连技术才刚刚开始,介绍光互连技术的书籍更是少之又少。本书收集、整理和总结了二十多年来国际上光互连领域的一些重要研究成果和发展现状,主要介绍了光互连技术的基本原理、构成、实现方法及其在大规模并行处理领域的应用。通过本书可了解到光互连技术领域的最新进展状况及其技术实质和应用前景。本书内容新颖,实例丰富,图文并茂。可作为计算机科学与工程、光电子科学与工程及物理学等领域科研人员的参考书,也可作为上述专业或相关专业博士生、硕士生及大学生的教材或参考书。