第9章概率论与数理统 一、计问题的计算机求解 二、概率分布与伪随机数生成 三、统计量分析 四、数理统计分析方法及计算机实现 五、统计假设检验

布尔代数是计算机科学最重要的基础理论之 一,它在开关网络及数字电路的设计上有广 泛深入的应用. 布尔代数是计算机科学工作者必备的基础知 识，应掌握格与布尔代数的一般理论和方法， 除§3 Stone定理的证明细节可根据具体情 况删减外，其他内容应很好地掌握

大数定律和中心极限定理是概率论的重要基本理 论,它们揭示了随机现象的重要统计规律,在概率 论与数理统计的理论研究和实际应用中都具有重要 的意义。本章将介绍这方面的主要内容

印度是世界上文化发达最早的地区之一，印度人在算术和代数作出了杰出的贡献，《绳法经》 是印度最早的数学文献，其中最重要的内容是祭坛的建造问题，即利用绳子和竹杆给出固定的 测量法则。印度人在算术运算的贡献如：0 的运算，负数的运算；正视无理数的存在，不定方 程的研究及其应用等，并推导出运算公式：

4.1 留数定理 4.2 应用留数定理计算实变函数定积分

数学物理方程,通常指从物理学及其他各门自然科学、技术科学中所产生的偏微分方程,有时也包括与此有关的积分方程、微分积分方程和常微分方程例如

数学物理方程,通常指从物理学及其他各门自然科学、技术科学中所产生的偏微分方程,有时也包括与此有关的积分方程、微分积分方程和常微分方程例如

12.1统筹图 统筹方法是利用数学方法和网络图来研究、分析工程项目的合理组织、协调管理的一种科学管 理方法 这一方法于20世纪50年代产生于美国.956年,美国杜邦公司为协调公司不同业务部门的系 统规划,利用网络方法制订了第一套网络计划,称为关键路线法(CPM, Critical Path Method).1958年,美国海军武器局在制订“北极星”导弹研制计划时,同样利用了网络方法,但 更注重于对各项任务安排的评价和审查,称为计划评审技术(pr, Program Evaluation and Review Technique)

第二单元T检验与x2检验 一、学习目标 通过本课的学习,熟练掌握单正态总体方差未知时均值的检验方法(T检验 法),掌握单正态总体方差的检验方法(x检验法) 二、内容讲解 (T检验法)我们数理统计面对的是随机现象,面对的研究对象总体并不完全了 解,如期望未知,解决的方法有三个:

动态规划是解决一类多阶段决策问题的优化方法，也是考察问题的一种途 径，而不是一种算法（如 LP 单纯形法）。因此它不象 LP 那样有一个标准的数 学表达式和明确定义的一组规则，而必须对具体问题进行具体分析处理。 动态规划方法是现代企业管理中的一种重要决策方法。如果一个问题可将 其过程划分为若干个相互联系的阶段问题，且它的每一阶段都需进行决策，则 这类问题均可用动态规划方法进行求解