在科学技术的研究与应用中，定量分析与精确计算是掌握客观规律的根本途径，而数学方法是对客观事物进行定量分析和精确计算的重要手段。因此，高等数学是高职高专各专业学生必修的一门重要基础课程。本书内容包括函数、极限与连续，导数与微分，积分与微分方程，行列式与克莱姆法则，矩阵及其应用，向量与线性方程组解的结构，概率的基本概念，随机变量及其分布，集合及其运算，关系与函数，数理逻辑与图论等。本书是高职高专计算机类专业系列教材的基础教材，是为了满足高职高专学校培养应用性技术人才的需要，并结合计算机类各专业对高等数学教学内容的需求编写的。内容包括函数、极限与连续，导数与微分，积分与微分方程，行列式与克莱姆法则，矩阵及其应用，向量与线性方程组解的结构，概率的基本概念，随机变量及其分布，集合及其运算，关系与函数，数理逻辑与图论。书后附有部分习题参考答案和初等数学常用公式。本书可作为高职高专工科各专业通用教材，也可作为工程技术人员学习高等数学的参考资料。为方便教师教学，本书配有电子教案，请发邮件至 wangyx@mail.machineinfo.gov.cn索取。

为了适应计算机科学技术发展的需要，培养高素质的大学生，早在1994年原国家教委就对高等院校非计算机专业的计算机课程设置做了明确规定，要求院校文科不得低于144学时，理工科不得低于216学时。分、为两个学期开设，理论教学和上机实践学时按l：1分配。文、理科都应在第一学期开设计算机文化基础；第二学期文科应开设一门数据库课程，理科应开设一种高级语言程序设计。并根据此要求在全国开始了计算机等级考试工作。本书以windows操作系统为平台，讲授计算机基础知识、中文windows98操作系统、计算机文字录入技术、中文word 2000文字处理系统的功能与应用、中文Excel 2000电子表格系统的功能与应用、中文演示软件PowerPoint 2000的功能与应算机网络基础等有关计算机文化基础知识。考虑到知识的连贯性和完整性，还简单介绍了D0s操作系统基本知识、Visual FoxPr0程序设计初步。本书可作为高等院校计算机文化基础教材，也可作为各类计算机培训班培训用书。

《计算机基础》是以“全国计算机等级考试”和“辽宁省计算机等级考试”的要求为依据编写的非计算机专业“计算机应用基础”课教材。其目的是使学生能够达到“国家二级”及“辽宁省二级”水平的要求，并顺利通过相应的计算机等级考试，具有较强的使用计算机、进行“办公自动化”操作的能力。随着社会的发展和时代的进步，电子计算机的应用已遍及社会生活的各个领域，并正在改变着人们的日常生活。随着数字化信息技术的发展和数字化时代的到来，计算机作为数字化信息处理的设备，正起着越来越重要的作用。利用计算机，借助Internet收发电子邮件，查找、交换各类信息，已经成为人们日常生活的一部分。进入21世纪，计算机已成为人们日常生活中所不可缺少的设备，不会熟练地使用计算机处理日常生活中所遇到的问题将被视为新“文盲”。为适应社会对于计算机使用的需要，高等院校中非计算机专业普遍开设了计算机课程。《计算机基础》的编者有着十几年的教学经验，在教材的编写过程中，尽量将计算机的知识与教学经验相结合，力争做到通俗易懂、深入浅出，同时注重理论与实际操作的联系。《计算机基础》可作为自学者学习计算机应用之入门指导书。

本书采用演绎法建立的公理化体系，即根据演绎推理的方法，按一般到特殊的顺序组织教材内容。本书覆盖了电磁场与电磁波的基本内容，分为八章，即电磁场的数学物理基础、平面电磁波在无界均匀媒质中的传播、平面电磁波在分界面上的反射和透射、导行电磁波、传输线理论、电磁波的辐射与天线、静态电磁场、静态场边值问题的解法。在每节之后有紧密结合该节基本内容的练习题，每章之后选编了一些具有综合性的习题，书末附有阶段测试题，并给出了习题的参考答案。本书可作为高等学校电子信息类专业作为“电磁场与电磁波”、“电磁场理论”、“电磁场与天线”等课程的教材或教学参考书，也可供相关科技人员阅读参考。

编辑推荐：

本书针对学习电脑，从零起步的读者。全书内容丰富实用，涵盖电脑软硬件基础知识、Windows操作，文字输入，文档编辑，多媒体应用，Internet应用，收发电子邮件以及电脑的日常维护。本书实例引导，讲解细致，完整的图解操作过程，助您快速上手，配套的多媒体教学光盘直观、形象、寓教于乐，使您的学习体验轻松愉快。

主教材本着先进性、实用性、科学性和简单易学性的原则，在吸收了当前国内外最新实用软件的精华，参考了当前国内外最新资料的基础上编写而成。本教材的每一章既存在必然的先行后续的联系，也都可以独立成书。每一章都是以尽可能反映当前软件发展的最新潮流为出发点，经过精心选材，并根据作者多年的教学经验进行编写的。全书分为八章。第一章是有关计算机的基础知识，是广大学生必须学习了解的基本原理和常识。第二章是关于Windows操作系统的基础知识，主要介绍了Windows 2000的主要内容和基本操作。Windows 2000是在Windows 98的基础上发展而来的，各校可根据自己的实际情况采用indows2000组织教学，但上机实验可以在Windows 98环境下进行。第三章主要介绍了WlX3 2000的操作方法，它是我国大力推广使用的国产文字处理软件，各校可根据自己的实际情况选讲或者让学生自学。第四章主要介绍了Word 2000的操作方法，同样可以根据自己的实际情况选讲或者让学生自学。第五章介绍了。Excel 2000的操作方法。第六章介绍了PowerPoint 2000的操作方法。第四、五、六章是office的内容，从系统性的角度作了较全面的介绍。第七章是计算机网络应用基础，重点介绍了Internet的使用方法，包括网络的属性设置方法，电子邮件、浏览器、文件传输的基本操作方法以及信息的查询方法等。第八章是数据库使用入门，主要Visual FoxPro 6.0的应用初步，如数据的简单查询与统计方法、如何建立与修改数据间的永久和临时关系等。

本书是与数字逻辑教材配套的学习指导有用书.编写该书的目的是;帮助读者加深对基本概念的理解、基本解题方法的掌握；启发逻辑思维能力；提高分析问题和解决问题的能力。.全书依次对基本知识、逻辑代数基础、集成门电路与触发器、组合逻辑电路、同步和异步时序逻辑电路、中规模通用集成电路、可编逻辑器件等内容，分别按重点与难点、例题精选及自测练习三部分进行编写。书中共编入例题和自测练习题近500题，其中精选例题88题，所有自测练习题均附有解答。通过引例的分析、求解，归纳、总结了各类问题的解题规律、方法和技巧。..本书可供高等院校计算机及有关专业本、专科师生作为教学和学习参考书，也是数字逻辑自学者的良好辅导教材。...

暂缺简介...

“数理逻辑”是一门基础性学科，选一本好的“数理逻辑”的教材，对于培养新一代计算机科学家及IT从业人员是非常重要的。经专家推荐，我们选了剑桥大学出版社的，由A.G.Hamilton著“Logic for Mathematicians”一书影印出版，希望本书的影印版能为国内高校“数理逻辑”课程的开设提供支持。本书系统地讲解了数理逻辑的基础部分——命题演算与谓词演算。第一章直观地讲解了命题逻辑基本思想和概念；第二章讲解命题逻辑的形式化系统；第三章直观地讲解了谓词逻辑；第四章讲解谓词逻辑的形式化系统；第五章介绍数学系统；第六章以很不的篇幅完整地介绍了哥德尔不完备定理以有递归函数的初步知识；第七章简要介绍了可计算性与可判定性理论。由于数理逻辑（特别是其基础部分）是一门定形的老学科，其理论体系没有什么变化。本书第一版由剑桥大学出版社于1978年出版，然后，于1988年出了修订版。自从出版以来，几乎第年都要重印，可见其受欢迎的程度。本书是适合作本科生教学的，难得的好教材，既适用于计算机专业，也适用于数学专业，对哲学专业的学生同样也是适用的。