本书为高等职业教育公共课教材,是在第7版基础上修订而成的。内容由基础知识、操作系统、字处理软件基础、电子表格处理软件、办公自动化网络应用基础等五篇组成。本次修订删除了过时的内容,如磁带的使用;或学生在高中已经很熟悉的内容。重点瞄准办公自动化软件的使用,如在线文档编辑、音视频制作、网络会议等。基础性内容考虑使用较多的办公软件,注重与时俱进和软硬件配置的实际。知识呈现考虑学生的接受规律,提高学习效率。
PPT怎么做才会让你的听众更容易理解,怎么做才会更漂亮,怎么做才会让你在众人面前大放光彩?实际上,达到这个效果要比你想象中的要容易许多。你只需要从文字、图片、色彩、逻辑、版式、图表这几个方面,逐步优化你的PPT就可以了。
本书详细讲解如何使用ML语言进行程序设计,并介绍函数式程序设计的基本原理。书中特别讲述了为ML的修订版所设计的新标准库的主要特性,并且给出大量例子,涵盖排序、矩阵运算、多项式运算等方面。大型的例子包括一个一般性的自顶向下语法分析器、一个l-演算归约程序和一个定理证明机。书中也讲述了关于数组、队列、优先队列等高效的函数式实现,并且有一章专门讨论函数式程序的形式论证。本书可作为高等院校计算机专业相关课程的教材,也适合广大程序设计人员参考。