目录
28 关系: Addison–Wesley，AMS Euler，史丹佛大學，大O符号，二項式係數，微积分学，信息，Concrete Roman，离散数学，算法分析，純粹數學，美國，遞迴關係式，高德纳，高斯符號，计算机科学，计算机程序设计艺术，阶乘幂，葛立恆，英語，Sigma，母函数，混凝土，政治，数学，数论，教科書，打字。
- 數學教科書
- 计算机科学与技术书籍
Addison–Wesley
#重定向 艾迪生韦斯利.
AMS Euler
AMS Euler 是一款直立意大利体，由美国数学学会（AMS）委托字体设计师赫尔曼·察普夫设计，高德纳与他在斯坦福大学的研究生提供技术上的帮助。字体的版权归属于美国数学学会。AMS Euler模仿数学家在黑板上演算数学公式的字迹，Euler直立的风格即是由于黑板字迹通常并不呈现斜体样式。这款字与赫尔曼·察普夫设计的其他字体（如帕拉提诺体、Aldus以及Melior）搭配起来十分协调，但是和TeX系统的默认字体Computer Modern混排效果很差。 数字化的Euler字形是由高德纳开发的计算机辅助字体设计系统Metafont制作完成的。察普夫在1980年至1981年的两年的时间内设计完成了整套Euler字体的字形，于1983年后又为数字版做了质量监督与指导工作。斯坦福大学的计算机科学系与数字文字设计专业的学生完成了Euler的Metafont开发工作。这项工作由John Hobby指导，Scott Kim、Carol Twombly、Daniel Mills、David Siegel等人先后加入其中。其中Siegel在1985年完成了整个项目的数字化工作，并以此作为自己硕士论文的题目。 AMS Euler字体的得名是为了纪念伟大的数学家欧拉。 AMS Euler字体的数字化最初是用METAFONT实现的，它的首次排印出现在了《具体数学》一书。在这本高德纳的著作中，Euler字体被大量使用。同样在这本书中被首次使用的也有高德纳本人的Concrete Roman字体，用以与AMS Euler搭配。Metafont格式的Euler字体后来被Berthold Horn、Barry Smith、Henry Pinkham和Ian Morrison等人转为PostScript Type 1格式。现在这款字体同样有TrueType格式。 Euler 字体家族包括七套字母表：拉丁字母、希腊字母、哥特体拉丁字母、粗拉丁字母、粗希腊字母、粗手写体以及粗哥特体。.
史丹佛大學
小利蘭·史丹福大學（Leland Stanford Junior University），常直接稱為史丹福大學（Stanford University），為一所坐落於美國加利福尼亞州史丹福的私立研究型大學，因其學術聲譽和创业氛围而獲評為世界上最知名的高等學府之一。 斯坦福大學於1891年由時任加州參議員及州長的鐵路大亨利蘭·史丹福和他的妻子創辦。這是為了紀念他們因傷寒而於16歲生日前夕去世的兒子（）。其為男女及宗教自由的學校，在1930年代前所有學費全免。可是，1893年利蘭·史丹福的逝世及1906年對校園造成重大損毀的三藩市大地震，為該校帶來嚴重的財政困難後才開始收費。二次世界大戰後，時任學校教務長的弗雷德里克·特曼全力支持校友與教職員的企業精神，希望能建立一個自給自足的本地工業，這也是現今硅谷的源流。自上世紀七十年代，史丹福成為了美國SLAC國家加速器實驗室的所在地，及其中一個高等研究計劃署網路（互聯網雛形）的起源地。 學校的校園位於矽谷的西北方，鄰近帕羅奧圖。校方的各個學術部門被歸入七所學術學院內，而包括生物保育區及加速實驗室在內的其他資產則設於主校區之外。此校同時為最富有的教育機構之一，並為第一所在一年內獲得超過十億美元捐款升幅的大學。 史丹福為一所擁有高住宿率及高選擇性的大學，當中的研究生課程較本科的多元化。該校也是馬丁路德金手寫原稿的保存地。史丹福學生透過36支代表隊參與不同的體育競賽，其為兩所太平洋十二校聯盟的私立大學之一。有關校隊曾奪得過104次大學體育協會賽事的冠軍，成績於眾多大學中位列第二。自1994-95年起，其亦一直為全國大學體育競技董事杯的年度得主。 史丹福培養了不少著名人士。其校友涵蓋30名富豪企業家及17名太空員，亦為培養最多美國國會成員的院校之一。史丹福校友創辦了眾多著名的公司機構，如：谷歌、雅虎、惠普、耐克、昇陽電腦等，這些企業的資金合計相等於全球第十大經濟體系。共81名諾貝爾獎得主現或曾於該校學習或工作。.
查看 具體數學和史丹佛大學
大O符号
大O符号（Big O notation），又稱為漸進符號，是用于描述函数渐近行为的数学符号。更确切地说，它是用另一个（通常更简单的）函数来描述一个函数数量级的渐近上界。在数学中，它一般用来刻画被截断的无穷级数尤其是渐近级数的剩余项；在计算机科学中，它在分析算法复杂性的方面非常有用。 大O符号是由德国数论学家在其1892年的著作《解析数论》（Analytische Zahlentheorie）首先引入的。而这个记号则是在另一位德国数论学家的著作中才推广的，因此它有时又称为朗道符号（Landau symbols）。代表“order of...”（……阶）的大O，最初是一个大写希腊字母“Ο”（omicron），现今用的是大写拉丁字母“O”。.
查看 具體數學和大O符号
二項式係數
二項式係數在數學上是二項式定理中的係數族。其必然為正整數，且能以兩個非負整數為參數確定，此兩參數通常以n和k代表，並將二項式係數寫作\tbinom nk ，亦即是二項式冪(1 + x) n的多項式展式中，x k項的係數。如將二項式係數的n值順序排列成行，每行為k值由0至n列出，則構成帕斯卡三角形。 此數族亦常見於其他代數學領域中，尤其是組合數學。任何有n個元素的集合，由其衍生出擁有k個元素的子集，即由其中任意k個元素的組合，共有\tbinom nk個。故此\tbinom nk亦常讀作「n選取k」。二項式係數的特性使表達式\tbinom nk的定義不再局限於n和k均為非負整數及，然此等表達式仍被稱為二項式係數。 雖然此數族早已被發現（見帕斯卡三角形），但表達式\tbinom nk則是由安德烈亚斯·冯·厄廷格豪森於1826年始用。最早探討二項式係數的論述是十世紀的Halayudha寫的印度教典籍《Pingala的計量聖典》（chandaḥśāstra），及至約1150年，印度數學家Bhaskaracharya於其著作《Lilavati》Lilavati 第6節，第4章（見）。 中給出一個簡單的描述。 二項式係數亦有不同的符號表達方式，包括：C(n, k)、nCk、nCk、C^_，其中的C代表組合（combinations）或選擇（choices）。.
查看 具體數學和二項式係數
微积分学
微積分學（Calculus，拉丁语意为计数用的小石頭） 是研究極限、微分學、積分學和無窮級數等的一個數學分支，並成為了現代大學教育的重要组成部分。歷史上，微積分曾經指無窮小的計算。更本質的講，微積分學是一門研究變化的科學，正如：幾何學是研究形狀的科學、代數學是研究代數運算和解方程的科學一樣。微積分學又稱為“初等數學分析”。 微積分學在科學、經濟學、商業管理學和工業工程學領域有廣泛的應用，用來解决那些僅依靠代數學和幾何學不能有效解決的問題。微積分學在代數學和解析幾何學的基礎上建立起来，主要包括微分學、積分學。微分學包括求導數的運算，是一套關於變化率的理論。它使得函數、速度、加速度和斜率等均可用一套通用的符號進行演绎。積分學，包括求積分的運算，為定義和計算長度、面積、體積等提供一套通用的方法。微積分學基本定理指出，微分和積分互為逆運算，這也是兩種理論被統一成微積分學的原因。我們能以兩者中任意一者為起點來討論微積分學，但是在教學中一般會先引入微分學。在更深的數學領域中，高等微積分學通常被稱為分析學，並被定義為研究函數的科學，是現代數學的主要分支之一。.
查看 具體數學和微积分学
信息
信息（英語：Information），又稱情報，是一个严谨的科学术语，其定义不统一，是由它的极端复杂性决定的，獲取信息的主要方法為六何法。信息的表现形式多不胜数：声音、图片、温度、体积、颜色……信息的类別也不计其数：电子信息、财经信息、天气信息、生物信息……。 在熱力學中，信息是指任何會影響系統的熱力學狀態的事件。 信息可以減少不確定性。事件的不確定性是以其發生機率來量測，發生機率越高，不確定性越低，事件的不確定性越高，越需要額外的信息減少其不確定性。位元是典型的，但也可以使用像納特之類的單位，例如投擲一個公正的硬幣，其信息為log2(2/1).
查看 具體數學和信息
Concrete Roman
Concrete Roman 是由高德纳使用 METAFONT 系统设计的一款粗衬线字体。 这款字体设计用以协调数学字体 AMS Euler，并在《具体数学》一书中首次被使用。相比于它著名的“同父兄弟”Computer Modern，Concrete Roman 的外观要更加粗重一些。由于这个原因，该字体有时被人用于屏幕显示，在低分辨率下，Concrete Roman 相比 Computer Modern 要更容易阅读。.
离散数学
离散数学（Discrete mathematics）是数学的几个分支的总称，研究基于离散空间而不是连续的数学结构。与連續变化的实数不同，离散数学的研究对象——例如整数、图和数学逻辑中的命题——不是連續变化的，而是拥有不等、分立的值。因此离散数学不包含微积分和分析等「连续数学」的内容。离散对象经常可以用整数来枚举。更一般地，离散数学被视为处理可数集合（与整数子集基数相同的集合，包括有理数集但不包括实数集）的数学分支。 。但是，“离散数学”不存在准确且普遍认可的定义。实际上，离散数学经常被定义为不包含连续变化量及相关概念的数学，甚少被定义为包含什么内容的数学。 离散数学中的对象集合可以是有限或者是无限的。有限数学一词通常指代离散数学处理有限集合的那些部分，特别是在与商业相关的领域。 隨著電腦科學的飛速發展，離散數學的重要性則日益彰顯。它為許多資訊科學課程提供了數學基礎，包括資料結構、演算法、資料庫理論、形式語言與作業系統等。如果沒有離散數學的相關數學基礎，學生在學習上述課程中，便會遇到較多的困難。此外，離散數學也包含了解決作業研究、化學、工程學、生物學等眾多領域的數學背景。由於運算對象是離散的，所以電腦科學的數學基礎基本上也是離散的。我們可以說電腦科學的數學語言就是離散數學。人們會使用離散數學裡面的槪念和表示方法，來研究和描述電腦科學下所有分支的對象和問題，如電腦運算、程式語言、密碼學、自動定理証明和軟件開發等。相反地，计算机的應用使離散數學的概念得以應用於日常生活當中（如運籌學）。 虽然离散数学的主要研究对象是离散对象，但是连续数学的分析方法往往也可以采用。数论就是离散和连续数学的交叉学科。同样的，有限拓扑（对有限拓扑空间的研究）从字面上可看作离散化和拓扑的交集。.
查看 具體數學和离散数学
算法分析
在计算机科学中，算法分析（Analysis of algorithm）是分析执行一个给定算法需要消耗的计算资源数量（例如计算时间，存储器使用等）的过程。算法的效率或复杂度在理论上表示为一个函数。其定义域是输入数据的长度（通常考虑任意大的输入，没有上界），值域通常是执行步骤数量（时间复杂度）或者存储器位置数量（空间复杂度）。算法分析是计算复杂度理论的重要组成部分。 理论分析常常利用渐近分析估计一个算法的复杂度，并使用大O符号、大Ω符号和大Θ符号作为标记。举例，二分查找所需的执行步骤数量与查找列表的长度之对数成正比，记为 O(\log n)，简称为「对数时间」。通常使用渐近分析的原因是，同一算法的不同具体实现的效率可能有差别。但是，对于任何给定的算法，所有符合其设计者意图的实现，它们之间的性能差异应当仅仅是一个系数。 精确分析算法的效率有时也是可行的，但这样的分析通常需要一些与具体实现相关的假设，称为计算模型。计算模型可以用抽象机器来定义，比如图灵机。或者可以假设某些基本操作在单位时间内可完成。 假设二分查找的目标列表总共有 n 个元素。如果我们假设单次查找可以在一个时间单位内完成，那么至多只需要 \log n + 1 单位的时间就可以得到结果。这样的分析在有些场合非常重要。 算法分析在实际工作中是非常重要的，因为使用低效率的算法会显著降低系统性能。在对运行时间要求极高的场合，耗时太长的算法得到的结果可能是过期或者无用的。低效率算法也会大量消耗计算资源。.
查看 具體數學和算法分析
純粹數學
一般而言，純粹數學是一門專門研究數學本身，不以应用为目的的學問（至少可见范围内无法应用），相對於應用數學而言。純粹數學以其严格、抽象和美丽著称。自18世纪以来，純粹數學成为数学研究的一个特定种类，并随着探险、天文学、物理学、工程学等的发展而发展。 純粹數學以數論為其代表。.
查看 具體數學和純粹數學
美國
#重定向 美国.
查看 具體數學和美國
遞迴關係式
在數學上，递推关系（recurrence relation），也就是差分方程（difference equation），是一種递推地定義一個序列的方程式：序列的每一項目是定義為前一項的函數。 像戶口調查映射（logistic map）即為递推关系 某些簡單定義的遞迴關係式可能會表現出非常複雜的（混沌的）性質，他們屬於數學中的非線性分析領域。 所謂解一個遞迴關係式，也就是求其解析解，即關於n的非遞迴函數。.
查看 具體數學和遞迴關係式
高德纳
德納（Donald Ervin Knuth，音譯：唐納德·爾文·克努斯，），出生於美国密尔沃基，著名计算机科学家，斯坦福大学计算机系榮譽退休教授。高德纳教授為现代计算机科学的先驅人物，創造了演算法分析的領域，在數個理論計算機科學的分支做出基石一般的貢獻。在计算机科学及数学领域发表了多部具广泛影响的论文和著作。1974年圖靈獎得主。 高德纳最為人知的事蹟是，他是《计算机程序设计艺术》的作者。此書是計算機科學界最受高度敬重的參考書籍之一。此外還是排版軟件tex和字型設計系統Metafont的发明人。提出文学编程的概念，並創造了WEB與CWEB軟體，作為文學編程開發工具。.
查看 具體數學和高德纳
高斯符號
斯符號是一个数学符号，形式为方括号，表示不大於（等于或小于）数x的最大整數，即x-1＜≤x。 高斯符號首次出現是在高斯的數學巨著《算术研究》。 运算示例：.
查看 具體數學和高斯符號
计算机科学
计算机科学用于解决信息与计算的理论基础，以及实现和应用它们的实用技术。 计算机科学（computer science，有时缩写为CS）是系统性研究信息与计算的理论基础以及它们在计算机系统中如何与应用的实用技术的学科。 它通常被形容为对那些创造、描述以及转换信息的算法处理的系统研究。计算机科学包含很多分支领域；有些强调特定结果的计算，比如计算机图形学；而有些是探討计算问题的性质，比如计算复杂性理论；还有一些领域專注于怎样实现计算，比如程式語言理論是研究描述计算的方法，而程式设计是应用特定的程式語言解决特定的计算问题，人机交互则是專注于怎样使计算机和计算变得有用、好用，以及随时随地为人所用。 有时公众会误以为计算机科学就是解决计算机问题的事业（比如信息技术），或者只是与使用计算机的经验有关，如玩游戏、上网或者文字处理。其实计算机科学所关注的，不仅仅是去理解实现类似游戏、浏览器这些软件的程序的性质，更要通过现有的知识创造新的程序或者改进已有的程序。 尽管计算机科学（computer science）的名字里包含计算机这几个字，但实际上计算机科学相当数量的领域都不涉及计算机本身的研究。因此，一些新的名字被提议出来。某些重点大学的院系倾向于术语计算科学（computing science），以精确强调两者之间的不同。丹麦科学家Peter Naur建议使用术语"datalogy"，以反映这一事实，即科学学科是围绕着数据和数据处理，而不一定要涉及计算机。第一个使用这个术语的科学机构是哥本哈根大学Datalogy学院，该学院成立于1969年，Peter Naur便是第一任教授。这个术语主要被用于北欧国家。同时，在计算技术发展初期，《ACM通讯》建议了一些针对计算领域从业人员的术语：turingineer，turologist，flow-charts-man，applied meta-mathematician及applied epistemologist。 三个月后在同样的期刊上，comptologist被提出，第二年又变成了hypologist。 术语computics也曾经被提议过。在欧洲大陆，起源于信息（information）和数学或者自动（automatic）的名字比起源于计算机或者计算（computation）更常见，如informatique（法语），Informatik（德语），informatika（斯拉夫语族）。 著名计算机科学家Edsger Dijkstra曾经指出：“计算机科学并不只是关于计算机，就像天文学并不只是关于望远镜一样。”（"Computer science is no more about computers than astronomy is about telescopes."）设计、部署计算机和计算机系统通常被认为是非计算机科学学科的领域。例如，研究计算机硬件被看作是计算机工程的一部分，而对于商业计算机系统的研究和部署被称为信息技术或者信息系统。然而，现如今也越来越多地融合了各类计算机相关学科的思想。计算机科学研究也经常与其它学科交叉，比如心理学，认知科学，语言学，数学，物理学，统计学和经济学。 计算机科学被认为比其它科学学科与数学的联系更加密切，一些观察者说计算就是一门数学科学。 早期计算机科学受数学研究成果的影响很大，如Kurt Gödel和Alan Turing，这两个领域在某些学科，例如数理逻辑、范畴论、域理论和代数，也不断有有益的思想交流。.
查看 具體數學和计算机科学
计算机程序设计艺术
《计算机程序设计艺术》（The Art of Computer Programming），簡稱TAOCP，是高德纳编著的关于计算机程序设计的七卷本著作。作者並因此获得美国计算机协会1974年图灵奖。.
阶乘幂
在数学中，阶乘幂是基于连续数列积的一种运算。.
查看 具體數學和阶乘幂
葛立恆
葛立恆（Ronald Graham，，生於加州托夫特），數學家，在排程理論、拉姆齐理论、計算幾何學和低差異數列均有建樹。 葛立恒于1962年在加州大学伯克利分校获得数学博士学位，现在是加州大学圣地牙哥分校计算机科学与工程系教授。他曾经是美国数学学会(AMS)主席、AT&T首席科学家以及國際雜技師協會主席。 2003年，葛立恒获得了由AMS颁发的Steele奖。 其妻金芳蓉亦是數學家。.
查看 具體數學和葛立恆
英語
#重定向 英语.
查看 具體數學和英語
Sigma
Sigma 可以指：.
查看 具體數學和Sigma
母函数
在数学中，某个序列(a_n)_ 的母函数（又称生成函数，Generating function）是一种形式幂级数，其每一项的系数可以提供关于这个序列的信息。使用母函数解决问题的方法称为母函数方法。 母函数可分为很多种，包括普通母函数、指数母函数、L级数、贝尔级数和狄利克雷级数。对每个序列都可以写出以上每个类型的一个母函数。构造母函数的目的一般是为了解决某个特定的问题，因此选用何种母函数视乎序列本身的特性和问题的类型。 母函数的表示一般使用解析形式，即写成关于某个形式变量x的形式幂级数。对幂级数的收敛半径中的某一点，可以求母函数在这一点的级数和。但无论如何，由于母函数是形式幂级数的一种，其级数和不一定对每个x的值都存在。 母函数方法不仅在概率论的计算中有重要地位，而且已成为组合数学中一种重要方法。此外，母函数在有限差分计算、特殊函数论等数学领域中都有着广泛的应用。 注意母函数本身并不是一个从某个定义域射到某个上域的函数，名字中的“函数”只是出于历史原因而保留。.
查看 具體數學和母函数
混凝土
混凝土，又稱洋灰、石矢、砼，是由凝胶材料、骨料和水按適當比例配置，再經過一定時間硬化而成的複合材料。混凝土的硬度高、堅固耐用、原料來源廣泛、製作方法簡單、成本低廉、可塑性強、適用於各種自然環境，是世界上使用量最大的人工土木建築材料，廣泛使用於房屋、橋樑、公路、跑道、擋土牆、堤防、涵洞、水壩、水箱、水塔、油槽、渠道、水溝、碼頭、防波堤、軍事工程、核能發電廠等構造物。.
查看 具體數學和混凝土
政治
政治是由各种团體进行集体决策的一个过程，也是各种团體或个人为了各自的領域所结成的特定关系，尤指對於社會群體的統治，例如統治一個國家，亦指對於一國內外事務之監督與管制。一般来说，这个词多用来指政府、政党等治理国家的行为。然而社会学家也用来指涉包括各种利益机构、学校、宗教机构在内的相互之间的关系。 从人类社会学来讲，政治是人类社会中存在的一种非常重要的社会现象，它影响到人类生活的各个方面。这个社会现象非常复杂，因而在不同历史时期、不同文化、不同语言，以及从不同学科角度，不同的学者对他的论述也不相同。而且政治内涵的本身也在不断的变化，因此对政治的阐释也充满了争议，始终没有一个确切公认的定义。孙关宏等 《政治学概论》，复旦大学出版社，2003年7月，p1-13 ISBN 978-7-309-03661-9 政治学是专门以政治为研究对象的一门社会科学，研究政治行为的理论和考察权力的获得与行使。.
查看 具體數學和政治
数学
数学是利用符号语言研究數量、结构、变化以及空间等概念的一門学科，从某种角度看屬於形式科學的一種。數學透過抽象化和邏輯推理的使用，由計數、計算、量度和對物體形狀及運動的觀察而產生。數學家們拓展這些概念，為了公式化新的猜想以及從選定的公理及定義中建立起嚴謹推導出的定理。 基礎數學的知識與運用總是個人與團體生活中不可或缺的一環。對數學基本概念的完善，早在古埃及、美索不達米亞及古印度內的古代數學文本便可觀見，而在古希臘那裡有更為嚴謹的處理。從那時開始，數學的發展便持續不斷地小幅進展，至16世紀的文藝復興時期，因为新的科學發現和數學革新兩者的交互，致使數學的加速发展，直至今日。数学并成为許多國家及地區的教育範疇中的一部分。 今日，數學使用在不同的領域中，包括科學、工程、醫學和經濟學等。數學對這些領域的應用通常被稱為應用數學，有時亦會激起新的數學發現，並導致全新學科的發展，例如物理学的实质性发展中建立的某些理论激发数学家对于某些问题的不同角度的思考。數學家也研究純數學，就是數學本身的实质性內容，而不以任何實際應用為目標。雖然許多研究以純數學開始，但其过程中也發現許多應用之处。.
查看 具體數學和数学
数论
數論是纯粹数学的分支之一，主要研究整数的性質。被譽為「最純」的數學領域。 正整数按乘法性质划分，可以分成質数，合数，1，質数產生了很多一般人也能理解而又懸而未解的問題，如哥德巴赫猜想，孿生質數猜想等，即。很多問題虽然形式上十分初等，事实上却要用到许多艰深的数学知识。这一领域的研究从某种意义上推动了数学的发展，催生了大量的新思想和新方法。數論除了研究整數及質數外，也研究一些由整數衍生的數（如有理數）或是一些廣義的整數（如代數整數）。 整数可以是方程式的解（丟番圖方程）。有些解析函數（像黎曼ζ函數）中包括了一些整數、質數的性質，透過這些函數也可以了解一些數論的問題。透過數論也可以建立實數和有理數之間的關係，並且用有理數來逼近實數（丟番圖逼近）。 數論早期稱為算術。到20世紀初，才開始使用數論的名稱，而算術一詞則表示「基本運算」，不過在20世紀的後半，有部份數學家仍會用「算術」一詞來表示數論。1952年時數學家Harold Davenport仍用「高等算術」一詞來表示數論，戈弗雷·哈羅德·哈代和愛德華·梅特蘭·賴特在1938年寫《數論介紹》簡介時曾提到「我們曾考慮過將書名改為《算術介紹》，某方面而言是更合適的書名，但也容易讓讀者誤會其中的內容」。 卡尔·弗里德里希·高斯曾說：「數學是科學的皇后，數論是數學的皇后。.
查看 具體數學和数论
教科書
教科書或課本即是學校指定最官方的讀本書籍，它根據學校課程內容編寫，通常在小學及中學低年級，學生只要熟讀教科書內容，便可以應付測驗及考試。教科書也是教師重要的教學工具，美國有90%以上的老師，在90%的教學時間中，都是運用教科書來實施教學。 在成長知識中，教科書的公信力是具有一定的權威。至少考試試題的答案是以教科書為標準。 世界各國教科書選定方式不一，美國以認可制、自由制雙軌並行，選用又分「州選」和「學區直接選用」兩種方式。法國採認可制，流程為民間編寫後，通過篩檢，再登錄在「選定教科書目錄」，才成為供選用的教科書。英國的教科書產生無需經過官方審查，為自由制。德國与日本通过檢定后自由選用制。採用審定--的國家或地区還有韓國、中國大陆、台灣地区、新加坡等陳清溪 (PDF) 研習資訊第22卷第3期。.
查看 具體數學和教科書
打字
打字（typing）是按下打字機、電腦鍵盤、手機或计算器上的按鍵來輸入文本的過程，其中文本可以是字母、數字或符號等。.
查看 具體數學和打字
另见
數學教科書
计算机科学与技术书籍
亦称为 具体数学：计算机科学中的一块基石。