Ta上传的资源 (0)

绪论 第一篇 软件操作实验 ... 实验7 常微分方程符号解(Maple) ... 第二篇 基础实验 ... 实验4 投篮角度问题 ... 实验10 高射炮程控制区域问题 ... 实验14 工资问题 ... 实验24 及时接车的概率模拟计算问题 ... 第三篇综合实验 实验1 怎样安全过河问题 ..

目录 第一章 绪论 //基础知识,关系,图,形式语言 第二章 文法 //形式定义,文法构造 第三章 有穷状态自动机 //NFA DFA 第四章 正则表达式 第五章 正则语言的性质 //Myhill-Nerode定理 第六章 上下文无关语言 //上下文无关文法的化简 //乔姆斯基范式 //格雷巴赫范式

内容简介 6.x版前言 第一章 基础准备及入门 第二章 数值数组及其运算 第三章 字符串、元胞和构架数组 第四章 数值计算 第五章 符号计算 第六章 数据和函数的可视化 第七章 M文件和面向对象编程 第八章 SIMULINK交互式仿真集成环境 第九章 句柄图形 第十章 图形用户界面GUI 第十一章
C 8

数值分析实验——Matlab绪论数值分析实验——Matlab绘图及程序设计数值分析实验——第二章插值法数值分析实验——第三章函数逼近数值分析实验——第四章数值积分数值分析实验——第四章数值微分第五章常微分方程数值解数值分析实验——第六章方程求根数值分析实验——第七章解线性方程组的直接解法数值分析实验

关于stolz定理的0/0型和*/(无穷）型的证明，证明来自于下书：高等教育出版社--数学分析--陈纪修，於崇华，金路清华大学出版社--数学分析--徐森林，薛春华

前言 绪论 第一章 预备知识 第二章 经典命题逻辑 第三章 经典一阶逻辑 第四章 可靠性和完备性 第五章 公理推演系统 第六章 构造性逻辑 第七章 模态命题逻辑 第八章 模态一阶逻辑 附录 自然推演中形式证明的简明形式 参考文献 符号表 名词表

Matlab 程序设计与应用 第1章 MATLAB操作基础 第2章 MATLAB矩阵及其运算 第3章 MATLAB程序设计 第4章 MATLAB文件操作 第5章 MATLAB绘图 第6章 MATLAB数据分析与多项式计算 第7章 MATLAB解方程与函数极值 第8章 MATLAB数值积分与微分 第9