2013-2014学年第一学期 数学软件 试题
一、计算下列各式的值：（写出格式及执行结果，（1）为例式） （1）1675； >> 75^16
ans = 1.0023e+030 （2）
i 31-；
>> sqrt(1-3*i)
ans =
1.4426 - 1.0398i （3） 23sin ； sin(23*pi/180)
ans =
0.3907 （4） π
2
arcsin
；
>> asin(2/pi)*180/pi
ans =
39.5402 （5） !88.
>> factorial(88)
ans =
1.8548e+134 二、3
tan
,2
π==
b e a e
，计算：
>> a=sqrt(exp(exp(1))) a =
3.8928
>> b=tan(pi^2/3)
b =
0.1494
（1）5332532b a ab a -+； >> 2*a^2+3*a*b^3-5*a^3*b^5
ans =
30.3255 （2）)sec(arctan a
>> sec(atan(a)*180/pi)
ans =
1.0193
三、在计算机上给出以下语句的输入：(（1）为求解格式)
（1）1
432
12-+x bx ax ；
>> syms a b x >> (3*a*x^2+4*b*x^(1/2))/(x-1) ans =(3*a*x^2+4*b*x^(1/2))/(x-1)
（2）1
3ln 42sin 2
+-??? ??
+x x
x π； >> syms x
>> (sin(2*x+pi/4)-log(3*x))/sqrt(x^2+1) ans =
-(log(3*x) - sin(1/4*pi + 2*x))/(x^2 + 1)^(1/2) （3）x
e x x 22
)2sin (cos -. >> syms x
>> (cos(x)^2-sin(2*x))*exp(2*x) ans =
-exp(2*x)*(sin(2*x) - cos(x)^2)
四、函数作图
（1）作出13
y x =的图象 >> x=linspace(0,3,100); >> y=x.^(1/3); >> plot(x,y) 参见图1
（2）作出14x
y ??
= ???
的图象
>> x=linspace(0,3,100); >> y=(1/4).^x; >> plot(x,y)
（3）作出sin(2)4
y x π
=+在一个周期内的图象
>> x=[-pi/2:0.01:pi/2]; >> y=sin(2*x+pi/4);
>> plot(x,y)
4）作分段函数
2,0
()
1,0
x x
f x
x x
?≤
=?
+>
?
的图象。
if x<=0
y=x^2;
else
y=x+1;
end
五、求下列函数的极限
1.
1 lim
x
x
a
x →+∞
-
>> syms a x
>> t=(a^x-1)/x;
>> limit(t,inf)
ans =
limit((a^x - 1)/x, x = Inf)
2.
2
2
2
ln(3) lim
32 x
x
x x
→
-
-+
>> syms x
>> t=log(x^2-3)/(x^3-3*x+2); >> limit(t,2)
ans =
3.
2ln lim
ln
x
x x
x x →+∞
+
>> syms x
>> t=(x^2+log(x))/(x*log(x)); >> limit(t,inf)
ans =
Inf
4.
0tan
lim
2 x
x x
→
>> syms x
>> t=tan(x)/(2*x); >> limit(t,0)
ans =
1/2
5.
0sin4
lim
sin3 x x x
→
>> syms x
>> t=sin(4*x)/sin(3*x); >> limit(t,0)
ans =
4/3 6. 2lim ln(1)
x x x →∞
+
>> syms x
>> t=x*log(1+2/x); >> limit(t,inf) ans = 2
六、求下列函数的导数或微分：(写出命令和结果)
1.y =y '. >> syms x
>> y=asin(sqrt(x)); >> df=diff(y) df =
1/(2*x^(1/2)*(1 - x)^(1/2))
2. ln ,y x =求y '''. >> syms x >> y=log(x);
>> df3=diff(y,x,3) df3 = 2/x^3
3. 21sin cos x
y x
+=,求y '.
>> syms x
>> y=(1+sin(x)^2)/cos(x); >> df=diff(y,x) df =
2*sin(x) + (sin(x)*(sin(x)^2 + 1))/cos(x)^2
4.
211y x x =+求y '.
>> syms x
>> y=1/x+1/x^2+1/(x^2)^(1/3); >> df=diff(y,x) df =
- (2*x)/(3*(x^2)^(4/3)) - 1/x^2 - 2/x^3 5. tan ,x
y x
=
求dx . >> clear >> syms y x >> y=tan(x)/x; >> dx=int(x,y) >> dx=diff(x,y) dx =
diff(x, tan(x)/x)
6. 2(22),x y e x x =-+ 求dx .
>> clear >> syms x
>> y=exp(x)*(x^2-2*x+2); >> dx=diff(x,y) dx =
diff(x, exp(x)*(x^2 - 2*x + 2))
七、求下列函数的极值:(要求写出输入及结果,可通过计算机的结果画出草图) 1.2
2
(1)sin 1y x x =--, >> syms x
>> y=(x^2-1)*sin(x)-1; >> limit(y) ans = -1
2.y =
>> syms x
>> y=sqrt(2*x-x^2); >> limit(y) ans = 0
八、计算下列积分
1.7
4
2
x dx x +? >> syms x >> y=x^7/(x^4+2); >> dy=int(y,x) dy =
x^4/4 - log(x^4 + 2)/2
2. 1
31x e dx
x ?
>> syms x
>> y=1/x^3*exp(1/x); >> dy=int(y,x) dy =
(exp(1/x)*(x - 1))/x 3.
221
sin cos dx x x ?
>> syms x
>> y=1/(sin(x)^2*cos(x)^2); >> dy=int(y,x) dy =
(-2)*cot(2*x)
4. 21x
x
e dx e +? >> syms x
>> y=exp(x)/(exp(2*x)+1); >> dy=int(y,x)
dy =
atan(exp(x))
5.
2
4
3
6
3
x x
dx
x
+-
+
?
>> syms x
>> y=(x^2+x-6)/(x+3);
>> dy=int(y,x,3,4)
dy =
3/2
6.
1?
>> syms x
>> y=sqrt(x^2-1)/x;
>> dy=int(y,x,1,2)
dy =
3^(1/2) - pi/3
九、随机输入一个6阶方阵,并求其转置、行列式、秩、以及行最简式
随机产生六阶矩阵Y
>> Y=rand(6,6)
Y =
0.6948 0.7655 0.7094 0.1190 0.7513 0.5472 0.3171 0.7952 0.7547 0.4984 0.2551 0.1386 0.9502 0.1869 0.2760 0.9597 0.5060 0.1493 0.0344 0.4898 0.6797 0.3404 0.6991 0.2575 0.4387 0.4456 0.6551 0.5853 0.8909 0.8407 0.3816 0.6463 0.1626 0.2238 0.9593 0.2543 矩阵的转置Y’
>> Y'
ans =
0.6948 0.3171 0.9502 0.0344 0.4387 0.3816 0.7655 0.7952 0.1869 0.4898 0.4456 0.6463 0.7094 0.7547 0.2760 0.6797 0.6551 0.1626 0.1190 0.4984 0.9597 0.3404 0.5853 0.2238 0.7513 0.2551 0.5060 0.6991 0.8909 0.9593
0.5472 0.1386 0.1493 0.2575 0.8407 0.2543
求矩阵的行列式B
>> B=det(Y)
B =0.1094
求矩阵的秩A
>> A=rank(Y)
A =
6
>> C=rref(Y)
求矩阵的行最简式C
C =
1 0 0 0 0 0
0 1 0 0 0 0
0 0 1 0 0 0
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 0 1
常见中小学数学教学软件的比较 目前，在中小学中使用的数学教学软件很多，但是怎么选择合适的数学教学软件来提高教学效率，取得教学效果的最优化呢？本文以证明勾股定理为例，对万用拼图实验室MP_Lab、平面几何实验室PG_Lab、动态数学实验室DM_Lab(以下简称Lab系列)，几何画板，Z+Z智能教育平台——超级画板三种教学软件进行比较，为教师在教学中选择合适的教学软件提供参考。 Lab系列是由澳门培道中学副校长韦辉梁先生开发的软件，Lab系列中的MP_Lab适用于小学《图形的认识》的教学，PG_Lab适用于小学《认识图形》和中学《平面几何》的教学，DM_Lab适用于中学《平面几何》、高中代数函数和解析几何的教学。 几何画板软件是由美国Key Curriculum Press公司制作并出版的几何软件。几何画板适用于几何（平面几何、解析几何、射影几何等）的教学。 Z+Z智能教育平台——超级画板是由中国科学院院士张景中教授主持策划，由东方科技集团投资开发的智能教育软件。“超级画板”兼顾了几何与代数的教学，可应用在代数运算、函数图像、概率统计、算法编程、解析几何、立体几何等方面。 笔者选取了新课标数学八年级下册第18章关于勾股定理的证明这一内容来比较三种软件的应用情况。勾股定理的内容是：如果直角三角形的两直角边长分别为a, b, 斜边长为c, 那么a2+b2=c2。 这里使用书中探究框里提出的证明方法，即证明直角三角形两直角边为边长的小正方形的面积的和等于以斜边为边长的正方形的面积，如图1所示,S3=S2+S1。下面将对三种软件在证明过程中的使用进行比较。 一、画一个直角三角形 https://www.doczj.com/doc/8e5991457.html,b系列 （1）单击直角三角形按钮。 （2）在作图框内任意两点处点击，得到线段AB。 （3）移动鼠标可见一垂直线段，在作图框内任意位置点击鼠标，即做出直角三角形ABC。 2.几何画板 （1）点击画线工具，在画图区任意区域点击鼠标两次，画出线段。点击选择工具，选中线段的一个端点，单击菜单“显示→对象的标签”，将此端点命名为A。重复此操作，将线段另一端点命名为B，完成线段AB。 （2）选中点A和线段AB，单击菜单“构造→垂线”。
数学软件四大家Maple、MATLAB、MathCAD和Mathematica 目前在科技和工程界上比较流行和著名的数学软件主要有四个，分别是MA TLAB、Maple、MathCAD和Mathematica。它们在各自针对的目标都有不同的特色。下面就让我为你一一道来。 一、Maple 系统 Maple 是由Waterloo大学开发的数学系统软件，它不但具有精确的数值处理功能，而且具有无以伦比的符号计算功能。 Maple 的符号计算能力还是MathCAD和MATLAB等软件的符号处理的核心。Maple提供了2000余种数学函数，涉及范围包括：普通数学、高等数学、线性代数、数论、离散数学、图形学。它还提供了一套内置的编程语言，用户可以开发自己的应用程序，而且Maple自身的2000多种函数，基本上是用此语言开发的。 Maple采用字符行输入方式，输入时需要按照规定的格式输入，虽然与一般常见的数学格式不同，但灵活方便，也很容易理解。输出则可以选择字符方式和图形方式，产生的图形结果可以很方便地剪贴到Windows应用程序内。 二、MATLAB 系统 MATLAB原是矩阵实验室（Matrix Laboratory）在70年代用来提供Linpack和Eispack软件包的接口程序，采用C语言编写。从80年代出现3.0的DOS版本，逐渐成为科技计算、视图交互系统和程序语言。MATLAB可以运行在十几个操作平台上，比较常见的有基于Windows 9X/NT、OS/2、Macintosh、Sun、Unix、Linux等平台的系统。 MATLAB程序主要由主程序和各种工具包组成，其中主程序包含数百个内部核心函数，工具包则包括复杂系统仿真、信号处理工具包、系统识别工具包、优化工具包、神经网络工具包、控制系统工具包、μ分析和综合工具包、样条工具包、符号数学工具包、图像处理工具包、统计工具包等。而且5.x版本还包含一套几十个的PDF文件，从MA TLAB的使用入门到其他专题应用均有详细的介绍。 MATLAB是数值计算的先锋，它以矩阵作为基本数据单位，在应用线性代数、数理统计、自动控制、数字信号处理、动态系统仿真方面已经成为首选工具，同时也是科研工作人员和大学生、研究生进行科学研究的得力工具。MATLAB在输入方面也很方便，可以使用内部的Editor或者其他任何字符处理器，同时它还可以与Word6.0/7.0结合在一起，在Word的页面里直接调用MA TLAB的大部分功能，使Word具有特殊的计算能力。 三、MathCAD 系统 MathCAD是美国Mathsoft公司推出的一个交互式的数学系统软件。从早期的DOS下的1.0和Windows下的4.0版本，到今日的8.0版本，功能也从简单的数值计算，直至引用Maple 强大的符号计算能力，使得它发生了一个质的飞跃。 MathCAD是集文本编辑、数学计算、程序编辑和仿真于一体的软件。MathCAD7.0 Professional（专业版）运行在Win9X/NT下，它的主要特点是输入格式与人们习惯的数学书写格式很近似，采用WYSWYG（所见所得）界面，特别适合一般无须进行复杂编程或要求比较特殊的计算。MathCAD 7.0 Professional 还带有一个程序编辑器，对于一般比较短小，或者要求计算速度比较低时，采用它也是可以的。这个程序编辑器的优点是语法特别简单。 MathCAD可以看作是一个功能强大的计算器，没有很复杂的规则；同时它也可以和Word、Lotus、WPS2000等字处理软件很好地配合使用，可以把它当作一个出色的全屏幕数学公式编辑器。 四、Mathematica 系统 Mathematica是由美国物理学家Stephen Wolfram领导的Wolfram Research开发的数学系统
《离散数学》考试题库及答案 一、 填空 10% （每小题 2分） 1、 若P ，Q 为二命题，Q P ?真值为1，当且仅当 。 2、 对公式),()),(),((y x xR z x zQ y x yP ?∨?∧?中自由变元进行代入的 公 式 为 。 3、 )) (()(x xG x xF ??∧?的 前 束 范 式为 。 4、 设x 是谓词合式公式A 的一个客体变元，A 的论域为D ，A （x ）关于y 的自由的， 则 被称为全称量词消去规则，记为US 。 5、 与非门的逻辑网络为 。 二、 选择 30% （每小题 3分） 1、 下列各符号串，不是合式公式的有（ ）。 A 、R Q P ?∧∧)(； B 、)()((S R Q P ∧→→； C 、R Q P ∧∨∨； D 、S R Q P ∨∧∨?))((。 2、 下列语句是命题的有（ ）。 A 、2是素数； B 、x+5 > 6； C 、地球外的星球上也有人； D 、这朵花多好看呀！。 3、 下列公式是重言式的有（ ）。 A 、)(Q P ??； B 、Q Q P →∧)(； C 、P P Q ∧→?)(； D 、P Q P ?→)( 4、 下列问题成立的有（ ）。 A 、 若C B C A ∨?∨，则B A ?； B 、若C B C A ∧?∧，则B A ?； C 、若B A ???，则B A ?； D 、若B A ?，则B A ???。 5、 命题逻辑演绎的CP 规则为（ ）。 A 、 在推演过程中可随便使用前提； B 、在推演过程中可随便使用前面演绎出的某些公式的逻辑结果； C 、如果要演绎出的公式为C B →形式，那么将B 作为前提，设法演绎出C ；
东北大学考试试卷（A B 卷） 2007 — 2008学年 第2学期 课程名称：模糊数学 ┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄┄ 2分 共计10分） 1. 设论域12345{,,,,}U u u u u u =，F 模糊集(0.5,0.1,0,1,0.8)A =，(0.1,0.4,0.9,0.7,0.2)B =，(0.8,0.2,1,0.4,0.3)C =。则_________A B ?=___________A B ?= ()____________A B C ??=_________c A = 2. 设论 域{,,,,}U a b c d e =， 有{}0.70.8{,}0.50.7{,,}0.30.5{,,,}0.10.3{,,,,}00.1d c d A c d e b c d e a b c d e λλλλλλ<≤??<≤?? =<≤??<≤? ≤≤?? F 集A ＝_________________ 二、 计算题（共5小题，每题12分） 1. 设[0,10]U =为论域，对[0,1]λ∈，若F 集A 的λ截集分别为 [0,10]0[3,10]00.6[5,10]0.61[5,10] 1A λλλλλλ=??<≤?=?<
数学建模常用软件有哪些哈 MatlabMathematicalingoSAS详细介绍：数学建模软件介绍一般来说学习数学建模，常用的软件有四种，分别是：matlab、lingo、Mathematica和SAS下面简单介绍一下这四种。 1.MA TLAB的概况MA TLAB是矩阵实验室（Matrix Laboratory）之意。除具备卓越的数值计算能力外，它还提供了专业水平的符号计算，文字处理，可视化建模仿真和实时控制等功能。MATLAB的基本数据单位是矩阵，它的指令表达式与数学,工程中常用的形式十分相似,故用MATLAB来解算问题要比用C,FORTRAN等语言完相同的事情简捷得多. 当前流行的MA TLAB 5.3/Simulink 3.0包括拥有数百个内部函数的主包和三十几种工具包(Toolbox).工具包又可以分为功能性工具包和学科工具包.功能工具包用来扩充MATLAB的符号计算,可视化建模仿真,文字处理及实时控制等功能.学科工具包是专业性比较强的工具包,控制工具包,信号处理工具包,通信工具包等都属于此类. 开放性使MATLAB广受用户欢迎.除内部函数外,所有MA TLAB主包文件和各种工具包都是可读可修改的文件,用户通过对源程序的修改或加入自己编写程序构造新的专用工具包. 2.Mathematica的概况Wolfram Research 是高科技计算机运算( Technical computing )的先趋，由复杂理论的发明者Stephen Wolfram 成立于1987年，在1988年推出高科技计算机运算软件Mathematica，是一个足以媲美诺贝尔奖的天才产品。Mathematica 是一套整合数字以及符号运算的数学工具软件，提供了全球超过百万的研究人员，工程师，物理学家，分析师以及其它技术专业人员容易使用的顶级科学运算环境。目前已在学术界、电机、机械、化学、土木、信息工程、财务金融、医学、物理、统计、教育出版、OEM 等领域广泛使用。Mathematica 的特色·具有高阶的演算方法和丰富的数学函数库和庞大的数学知识库，让Mathematica 5 在线性代数方面的数值运算，例如特征向量、反矩阵等，皆比Matlab R13做得更快更好，提供业界最精确的数值运算结果。·Mathematica不但可以做数值计算，还提供最优秀的可设计的符号运算。·丰富的数学函数库，可以快速的解答微积分、线性代数、微分方程、复变函数、数值分析、机率统计等等问题。·Mathematica可以绘制各专业领域专业函数图形，提供丰富的图形表示方法，结果呈现可视化。·Mathematica可编排专业的科学论文期刊，让运算与排版在同一环境下完成，提供高品质可编辑的排版公式与表格，屏幕与打印的自动最佳化排版，组织由初始概念到最后报告的计划，并且对txt、html、pdf 等格式的输出提供了最好的兼容性。·可与C、C++ 、Fortran、Perl、Visual Basic、以及Java 结合，提供强大高级语言接口功能，使得程序开发更方便。·Mathematica本身就是一个方便学习的程序语言。Mathematica提供互动且丰富的帮助功能，让使用者现学现卖。强大的功能，简单的操作，非常容易学习特点，可以最有效的缩短研发时间。 3.lingo的概况LINGO则用于求解非线性规划（NLP—NON—LINEAR PROGRAMMING）和二次规则（QP—QUARATIC PROGRAMING）其中LINGO 6.0学生版最多可版最多达300个变量和150个约束的规则问题，其标准版的求解能力亦再10^4量级以上。虽然LINDO和LINGO不能直接求解目标规划问题,但用序贯式算法可分解成一个个LINDO和LINGO能解决的规划问题。模型建立语言和求解引擎的整合LINGO是使建立和求解线性、非线性和整数最佳化模型更快更简单更有效率的综合工具。LINGO提供强大的语言和快速的求解引擎来阐述和求解最佳化模型。■简单的模型表示LINGO可以将线性、非线性和整数问题迅速得予以公式表示，并且容易阅读、了解和修改。■方便的数据输入和输出选择LINGO建立的模型可以直接从数据库或工作表获取资料。同样地，LINGO可以将求解结果直接输出到数据库或工作表。■强大的求解引擎LINGO内建的求解引擎有线性、非线性(convex and nonconvex)、二次、二次
第一章习题 1.1判断下列语句是否为命题，若是命题请指出是简单命题还是复合命题。（1）2是无理数。 （2）5能被2整除。 （3）现在开会吗？ （4）x+5>0 （5）这朵花真是好看！ （6）2是素数当且仅当三角形有三条边。 （7）雪是黑色的当且仅当太阳是从东方升起。 （8）2000年10月1日天气晴好。 （9）太阳系以外的星球上有生物。 （10）小李在宿舍里。 （11）全体起立。 （12）4是2的倍数或是3的倍数。 （13）4是偶数且是奇数。 （14）李明和王华是同学。 （15）蓝色和黄色可以调配成绿色。 1..2 将上题中的命题符号化，并讨论他们的真值。 1.3判断下列各命题的真值。 （1）若2+2=4，则3+3=6； （2）若2+2=4，则3+3≠6； （3）若2+2≠=4，则3+3=6； （4）若2+2≠=4，则3+3≠=6； （5）2+2=4，当且仅当3+3=6； （6）2+2=4，当且仅当3+3≠6； （7）2+2≠4，当且仅当3+3=6； （8）2+2≠4，当且仅当3+3≠6； 1.4将下列命题符号化，并讨论其真值。 （1）如果今天是1号，则明天是2号； （2）如果今天是1号，则明天是3号； 1.5将下列命题符号化。 （1）2是偶数不是素数； （2）小王不但聪明而且用功； （3）虽然天气冷。老王还是来了； （4）他一边吃饭，一边看电视； （5）如果天下大雨，他就乘公交汽车来； （6）只有天下大雨，他才乘公交汽车来； （7）除非天下大雨，否则他不乘公交汽车来； （8）不经一事，不长一智； 1.5设p,q的真值为0 ，r,s的真值为1，求下列命题公式的真值。（1）p∨(q∧r);
精品文档 . 华北电力大学模糊数学考试试题 科目名称：模糊数学 开课学期：2011—2012学年第二学期 ■闭卷 班级： 学号： 姓名： 一、填空 1、传统数学的基础是 。 2、模糊模式识别主要是指用 表示标准模式，进而进行识别的理论和方法。 3、 处理现实对象的数学模型可分为三大类： ， ， 。 4、设论域{}54321,,,,u u u u u U =，F 集5 3215 .017.02.0u u u u A +++= ，F 集5 4217 .01.03.05.0u u u u B +++= ,则=B A ,=B A , =C A 。 5、设论域[]1,0=U , ,)(u u A =则 =)(C A A , =)(C A A 。 6、设U 为无限论域,F 集?-=U x x e A 2 ,则截集 e A 1= ,=1A 。 7 、设论域 {} 54321,,,,u u u u u U =, F 集 5432115.07.01.03.0u u u u u A ++++= ，F 集5 4319 .04.08.03.0u u u u B +++=,则=B A ,=ΘB A ,格贴近度 =),(B A N 。 8、设 2 1,R R 都是 实数域上的F 关系 , 2 )(1),(y x e y x R --=, ) (2),(y x e y x R --=, 则 =)1,3()(21C R R ,=)1,3)((21C C R R 。 9、设论域{}321,,u u u U =,{}4321,,,v v v v V =,)(V U F R ?∈,且 ?? ?? ? ??=6.005.04.02.03.0101.007.02.0R ,3 217 .03.01.0u u u B ++= 则 =3 v R ,=)(B T R 。 10、设变量z y x ,,满足? ?? -≤≥111a z a x 且或 ?? ? ? ? ≥-≤≥≥11111a z a z a y a x 或且且时,为使1),,(a z y x f ≥,此时函数),,(z y x f 的表达式为 。 二、证明 证明：R 是传递的F 关系的充要条件是2 R R ?。 三、叙述题 1、比较模糊集合与普通集合的异同。 2、叙述动态聚类分析的解题步骤。 四、解答题 1、 ) (),(0 7.03.08 .06.05.04.02.0)()()()()(} {},{1 3 215432121 321,3,2,1,5,4,3,2,1B f A f y y y B x x x x x A y x f x f y x f x f x f Y X f y y y Y x x x x x X -++= ++++= =====→==求 ：５４ 题号 一 二 三 四 总分 得分
第一章 定律证明: (1) A?B=B?A (交换律) 证?x x∈A?B ? x∈A 或x∈B, 自然有x∈B 或x∈A ? x∈B?A 得证A?B?B?A. 同理可证B?A?A?B. (2) A?(B?C)=(A?B)?(A?C) (分配律) 证?x x∈A?(B?C) ? x∈A或(x∈B且x∈C ) ?(x∈A或x∈B)且(x∈A或x∈C) ?x∈(A?B)?(A?C) 得证A?(B?C)?(A?B)?(A?C). 类似可证(A?B)?(A?C)?A?(B?C). (3) A?E=E (零律) 证根据并的定义, 有E?A?E. 根据全集的定义, 又有A? E?E. (4) A?E=A (同一律) 证根据交的定义, 有A?E?A. 又, ?x x∈A, 根据全集E的定义, x∈E, 从而x∈A且x∈E, ?x∈A?E 得证A?A?E. 例4 证明A?(A?B)=A（吸收律） 证利用例3证明的4条等式证明 A?(A?B) = (A?E)?(A?B) (同一律) = A?(E?B) (分配律) = A?(B?E) (交换律) = A?E (零律) = A (同一律) 例5 证明(A-B)-C=(A-C)-(B-C) 证(A-C)-(B-C) = (A ?~C) ? ~(B ? ~C) (补交转换律) = (A ?~C) ? (~B ? ~~C) (德摩根律) = (A ?~C) ? (~B ? C) (双重否定律) = (A ?~C? ~B)?(A ?~C? C) (分配律) = (A ?~C? ~B)?(A ??) (矛盾律) = A ?~C? ~B (零律,同一律) = (A ?~B) ? ~C (交换律,结合律)
数学相关软件在数学教学中的应用 ———国培之后的感想 随着现代科学技术的发展，数学教学的相关软件早已进入我国的教育领域，在新课程改革的推动下，得到了迅速的发展。它使当今的教学手段、教学方法，教学观念与形式，课堂教学结构，以致教育思想与教学理论都发生了变革。数学教学的相关软件的辅助教学改变了几百年来一支粉笔、一块黑板的传统教学手段。在数学教学中，恰当地运用数学教学的相关软件对文、图、声、像等多种信息进行综合处理和控制，从而形成一种全新的教学形式。运用数学教学的相关软件辅助教学，能创设逼真的教学环境，动静结合的教学图像，生动活泼的教学氛围，可以解决常规教学难以解决的问题，作为一种先进的教学手段，数学教学的相关软件走进课堂，正显示出无与伦比的优势。同时也对突出教学重点、解决教学难点、拓展学生思维、调控教学信息、优化教学过程等都能产生积极的作用。现结合这次国培以及最近的教学点《函数y=Asin(ωx+φ)的图象》谈谈数学教学的相关软件在数学教学中的作用。 一、计算机技术在辅助数学教学过程中的优点 1.计算机辅助教学使课堂教学生动化、直观化、提高学习兴趣、培养抽象思维能力 传统教学的主要工具是一支粉笔、一块黑板、一个黑板檫，课堂教学的形式是单一的，内容是枯燥的。数学相关软件的辅助教学其
特点是图、文、声、像并茂，能向学生提供形式多样、功能各异的的感性材料，给人耳目一新的感觉，激发了学生的学习兴趣，把学生带入了宽松愉快的学习环境，让学生主动探索，积极进取，让学生会学、愿学、乐学。老师上课更为灵活，学生注意力也集中了。有效的提高教学效率。并且，形象的动态表示可以帮助学生快速准确的理解题意，对于难以理解的题目，有着直观的感受， 例如：在猜想A、ω、φ对函数y=Asin(ωx+φ)图象的影响，利用几何画板，化代数问题为几何问题，进行实验来验证猜想。分别探究函数y=Asinx与y=sinx、y=sinωx与y=sinx、y=sin(x+φ)与y=sinx图象之间的关系： 首先，讨论A的作用。取ω=1，φ=0，得到y=Asinx（A>0），用几何画板做出y=A sinx的图象。分别观察A=1.2（图2），A=0.6图形有何种变化？ 其次，探索ω的作用。取A=1，φ=0，得到y=sinωx，用几何画板做出y=xinωx的图象。分别观察ω=1.5（图3），ω=-1.5的图形有何种变化？ 最后，探索φ的作用。取A=1，ω=1，得到y=sin(x=φ)，用几何画板做出y=sin(x+φ)的图象。分别观察φ=0.7π（图4），φ=-0.7π的图形有何种变化？
南京工业大学 模糊数学与控制 试题（B ）卷（闭） 2009－20010学年 第一学期 使用班级 信科0701 班级 学号 姓名 一 填空题(共36分) 1 处理现实对象的数学模型可分为三大类： ， ， 。 2 设论域{}54321,,,,u u u u u U =，F 集5 3215 .017.03.0u u u u A + ++= ，F 集5 4217 .02.03.05.0u u u u B + ++= ,则=B A ,=B A , =C A 。 3 设论域[]2,0=U , ,)(u u A =则=)(C A A , =)(C A A 。 4 设U 为无限论域,F 集?-=U x x e A 2 ,则截集e A 1= ,=1A 。 5设论域{}54321,,,,u u u u u U =,F 集5 43211 5.07.0 6.03.0u u u u u A + +++= ，F 集5 4317 .04.08.01.0u u u u B +++= ,则=B A ,=ΘB A ,格贴近度=),(B A N 。 6 设21,R R 都是实数域上的F 关系,2 )(1),(y x e y x R --=,) (2),(y x e y x R --=,则 =)2,3()(21C R R ,=)2,3)((21C C R R 。 7 设 论 域 {} 321,,u u u U =, {}4321,,,v v v v V =, ) (V U F R ?∈,且
???? ? ??=6.07.05.04.02.03.0101.04.07.02.0R ,3 217.03.01.0u u u B + +=则=3 v R ,=)(B T R 。 8 设变量z y x ,,满足 ?? ? -≤≥1 11a z a x 且或?? ? ?? ≥-≤≥≥11111a z a z a y a x 或且且时,为使 1),,(a z y x f ≥,此时函数),,(z y x f 的表达式为 。 二（12分） 设[]5,0=U ，对[]1,0∈λ，若F 集A 的λ截集分别为[][]??? ? ? ???? ≤<≤<==132]5,3(3205,305,0λλλλλA 求出：（1）隶属函数)(x A ；（2）SuppA ;(3)KerA 。
数学排版软件介绍 一、Microsoft Word中的“公式编辑器” 数学排版由于其特殊性需要特殊的软件来支持。一般数学公式的排版最常用的是微软的办公软件Microsoft Word中的“公式编辑器”。一般安装Word时并没有安装自带的“公式编辑器”，需要安装使用时，可从菜单“工具>自定义>命令>”中的左边列表中选择插入，再在右边列表框 内选中“α公式编辑器”，并将其拖出至Word文件的常用工具栏中，点击α，此时会出现安 装对话框，将Word安装盘放入光驱后，单击确定即可完成“公式编辑器”的安装。 “公式编辑器”的使用非常简单，一般参照其帮助文件做些练习即可学会。 二、Mathtype软件 MathType是“公式编辑器”的功能强大而全面的版本。如果要经常在文档中编排各种复杂的数学、化学公式，则MathType是非常合适的选择。MathType用法与“公式编辑器”一样简单易学，而且其额外的功能使您的工作更快捷，文档更美观。 MathType 包括： ?Euclid字体设置了几百个数学符号。 ?具有应用于几何、化学及其他方面的新样板和符号。 ?专业的颜色支持。 ?为全球广域网创建公式。 ?将输出公式译成其他语言（例如：TeX、AMS-TeX、LaTeX、MathML及自定义语言）的翻译器。 ?用于公式编号、格式设置及转换Microsoft Word文档的专用命令。 ?可自定义的工具栏，可容纳最近使用过的几百个符号、表达式和公式。 并可自定义的键盘快捷键。 三、Latex TeX简介 电子排版系统的出现给印刷出版业带来了一场革命，利用电子计算机及各种辅助设备，可以完成从文稿、图表的录入、编辑、修改、组版，直至得到各种不同用途、不同质量的输出结果。利用电子排版系统，可以减轻劳动强度，缩短出版周期。目前世界上有许多电子排版系统。这些系统各有特点，也各有自己的适用范围。TeX就是一种优秀的电子排版系统。TeX提供了一套功能强大并且十分灵活的排版语言，它多达900 多条指令，并且TeX有宏功能，用户可以不断地定义自己适用的新命令来扩展TeX系统的功能。许多人利用TeX提供的宏定义功能对TeX进行了二次开发，其中比较著名的有美国数学学会推荐的非常适合于数学家使用的AMS-TeX以及适合于一般文章、报告、书籍的LaTeX系统。TeX系统是公认的数学公式排得最好的系统。美国数学学会（AMS）∞鼓励数学家们使用TeX系统向它的期刊投稿。世界上许多一流的出版社如Kluwer、Addison-Wesley、牛津大学出版社等也利用TeX系统出版书籍和期刊。大部分的TeX 系统都是免费的。Knuth 教授还公开了他的全部源程序。TeX系统目前已经在数百种计算机系统上得到实现。TeX系统的排版结果DVI（DeVice Independent）文件与输出设备无关。DVI 文件可以显示、打印、照排，几乎可以在所有的输出设备上输出。TeX排版源文件及结果在各种计算机系统上互相兼容。
离散数学试题一（A 卷答案） 一、（10分）证明(A ∨B )(P ∨Q )，P ，(B A )∨P A 。 二、（10分）甲、乙、丙、丁4个人有且仅有2个人参加围棋优胜比赛。关于谁参加竞赛，下列4 种判断都是正确的： (1)甲和乙只有一人参加； (2)丙参加，丁必参加； (3)乙或丁至多参加一人； (4)丁不参加，甲也不会参加。 请推出哪两个人参加了围棋比赛。 三、（10分）指出下列推理中，在哪些步骤上有错误为什么给出正确的推理形式。 (1)x (P (x ) Q (x )) P (2)P (y )Q (y ) T (1)，US (3)xP (x ) P (4)P (y ) T (3)，ES (5)Q (y ) T (2)(4)，I (6)xQ (x ) T (5)，EG 四、（10分）设A ＝{a ，b ，c}，试给出A 上的一个二元关系R ，使其同时不满足自反性、反自反性、 五、（15分）设函数g ：A →B ，f ：B →C ， (1)若f o g 是满射，则f 是满射。 (2)若f o g 是单射，则g 是单射。 六、（15分）设R 是集合A 上的一个具有传递和自反性质的关系，T 是A 上的关系，使得T R 且R ，证明T 是一个等价关系。 七、（15分）若
教师备课教学经常用到的10种软件 一、WPSOffice 2010 个人版 下载地址：https://www.doczj.com/doc/8e5991457.html,/soft/23453.html 运行环境：Win7/Windows Vista/Win2003/WinXP/Win2000/WinNT 软件介绍：WPSOffice对个人用户永久免费，包含WPS文字、WPS表格、WPS演示三大功能模块，与MS Office无障碍兼容。 1.前所未有的性能提升 2.注重细节，表格操作更加人性化 3.全角度保护文档安全和账号隐私 4.在线素材库兼收并蓄 5.精致模板尽享方寸空间，smart办公胜人一筹 6.无限扩展的网络应用，让办公环境更个性 7.更高效的协作方式 8.在线支持，享受专业服务 二、MathType6.0公式编辑器（汉化版） 下载地址：https://www.doczj.com/doc/8e5991457.html,/soft/3683.html 运行环境：Win2003/WinXP/Win2000/WinNT/Win9x 软件介绍：MathType是一个强大的数学公式编辑器，与常见的文字处理软件和演示程序配合使用，能够在各种文档中加入复杂的数学公式和符号。MathType 与常见文字处理工具紧密结合，支持OLE (对象的链接与嵌入)，可以在任何支持OLE 的文字处理系统中调用(从主菜单中选择"插入->对象" 在新对象中选择"MathType 5.0Equation" )，帮助用户快速建立专业化的数学技术文档。MathType 汉化版修正了部分对中文的支持，这个版本对Word 或WPS 文字处理系统支持相当好。实现所见即所得的工作模式，它可以将编辑好的公式保存成多种图片格式或透明图片模式，可以很方便的添加或移除符号、表达式等模板(只需要简单地用鼠标拖进拖出即可)，也可以很方便地修改模板。总之，功能多多，熟练使用了就知道它的强大了。MathType 可用在编辑数学试卷、书籍、报刊、论文、幻灯演示等方面，是您编辑数学资料的得力工具。 三、实用汉字转拼音V4.7 下载地址：https://www.doczj.com/doc/8e5991457.html,/soft/25080.html 运行环境：Win7/Win2003/WinXP/Win2000/WinNT/Win9x 软件介绍： 1.屏幕抓词,很实用的功能. 2.日语假名注音.例如: 春をー愛するー人はー心清きーーー人ー はるをあいするひとはこころきよきひと 3.假名罗马拼音注音.例如: Ha Ru Wo A I Su Ru Hi To Wa Ko Ko Ro Ki Yo Ki Hi To はるをあいするひとはこころきよきひと 4.同音字的功能.例如: 在宿舍看了一宿关于星宿的书 Zài SùShě Kàn Le Yī Xiǔ Guān YúXīnɡXiùDe Shū 5.支持简繁体及一部分冷僻字汉字拼音 Zhī ChíJiǎn Fán Tǐ JíYíBùFèn LěnɡPìZìHàn ZìPīn Yīn 6.左(Zuo)右(You)拼(Pin)音(Yin)输(Shu)出(Chu)
华南理工大学研究生课程考试 《 模糊数学 》样卷 注意事项：1. 所有答案请按要求填写在答题纸上； 2. 课程代码：（S0003006） 3．考试形式：闭卷（ √ ） 开卷（ ） 开闭卷结合（ ） 4. 考试类别：博士研究生（√ ） 硕士研究生（√ ） 5． 试卷共 十二大题，满分100分，考试时间150分钟。 一、填空题 1.设论域U={u 1,u 2,u 3,u 4,u 5}，F 集A=(0.5,0.1,0,1,0.8), B=(0.1，0.4，0.9，0.7，0.2)，则(A ?B)C =_______________。 2.设论域R=[0,3],且 01112 (), ()213323 x x x x A x B x x x x x ≤≤-≤≤??==?? -<≤-<≤?? 则它们的黎曼贴近度N(A,B)=_______________________。 3. 0.410.70.510.62,323=_______123234 = ++=++?设，则。 4. 设A =[3，9]， B =[7，10]，则A +B = ，A ?B = 。 5.设论域U={1,2,…,10}，且 0.20.40.60.811110.80.60.40.2 [],[]4567891012345 = ++++++=++++ 大小 则[不大也不小]=_____________________________。 二、判断题（请在每小题的括号内认为正确的打“√”错误的打“?”） 1. λ≤μ ? A λ ?A μ ( ) 2 (A λ)c =(A c )λ （ ） 3 若A ? B ? C , 则N (A ,C ) ≤ N (A ,B )∨N (B ,C ) ( ) 4 若R 1?S 1， R 2?S 2，则 R 1∪R 2 ? S 1∪S 2 ( ) 5 R∪R c = E ( )
数学软件四大家---Maple、MATLAB、MathCAD和Mathematica 不知你是否还记得，在去年的“非主流软件”栏目里，我们曾经介绍过多个功能强大的数学软件，现在让我们来看看其中最为著名的四大数学软件的迷人风采和他们的最新资料吧。 目前在科技和工程界上比较流行和著名的数学软件主要有四个，分别是Maple、MATLAB、MathCAD和Mathematica。它们在各自针对的目标都有不同的特色。下面就让我为你一一道来。 一、Maple V 系统 Maple V是由Waterloo大学开发的数学系统软件，它不但具有精确的数值处理功能，而且具有无以伦比的符号计算功能。Maple V的符号计算能力还是MathCAD和MATLAB等软件的符号处理的核心。Maple提供了2000余种数学函数，涉及范围包括：普通数学、高等数学、线性代数、数论、离散数学、图形学。它还提供了一套内置的编程语言，用户可以开发自己的应用程序，而且Maple自身的2000多种函数，基本上是用此语言开发的。Maple采用字符行输入方式，输入时需要按照规定的格式输入，虽然与一般常见的数学格式不同，但灵活方便，也很容易理解。输出则可以选择字符方式和图形方式，产生的图形结果可以很方便地剪贴到Windows应用程序内。 二、MATLAB 系统 MATLAB原是矩阵实验室（Matrix Laboratory）在70年代用来提供Linpack和Eispack软件包的接口程序，采用C语言编写。从80年代出现3.0的DOS版本，逐渐成为科技计算、视图交互系统和程序语言。MATLAB可以运行在十几个操作平台上，比较常见的有基于Windows 9X/NT、OS/2、Macintosh、Sun、Unix、Linux等平台的系统。MATLAB 程序主要由主程序和各种工具包组成，其中主程序包含数百个内部核心函数，工具包则包括复杂系统仿真、信号处理工具包、系统识别工具包、优化工具包、神经网络工具包、控制系统工具包、μ分析和综合工具包、样条工具包、符号数学工具包、图像处理工具包、统计工具包等。而且5.x版本还包含一套几十个的PDF文件，从MATLAB的使用入门到其他专题应用均有详细的介绍。MATLAB是数值计算的先锋，它以矩阵作为基本数据单位，在应用线性代数、数理统计、自动控制、数字信号处理、动态系统仿真方面已经成为首选工具，同时也是科研工作人员和大学生、研究生进行科学研究的得力工具。MATLAB在输入方面也很方便，可以使用内部的Editor或者其他任何字符处理器，同时它还可以与Word6.0/7.0结合在一起，在Word的页面里直接调用MATLAB的大部分功能，使Word 具有特殊的计算能力。 三、MathCAD 系统 MathCAD是美国Mathsoft公司推出的一个交互式的数学系统软件。从早期的DOS下的1.0和Windows下的4.0版本，到今日的8.0版本，功能也从简单的数值计算，直至引用Maple 强大的符号计算能力，使得它发生了一个质的飞跃。MathCAD是集文本编辑、数学计算、程序编辑和仿真于一体的软件。MathCAD7.0 Professional（专业版）运行在Win9X/NT 下，它的主要特点是输入格式与人们习惯的数学书写格式很近似，采用WYSWYG（所见所
数学软件 Mathematical Software 课程编号： 课程性质： 开课系（部）：数学科学与应用学院 授课对象：数学科学与应用学院专业三年级 先修要求：高等数学线性代数概率论与数理统计 开课学期：大学三年级第一学期 课时数：72学时 学分数： 一、课程性质、目的和教学要求 数学软件是普通高等院校数学类各专业的一门重要课程，其目的是使学生掌握数学软件的基本思想与方法，培养学生从问题出发，借助计算机及数学软件，通过学生亲自设计和动手，体验解决问题的全过程，培养学生进行数值计算与数据处理的能力。从实验中去学习，探索和发现数学规律，激发学生学习数学的兴趣。通过本课程学习，使学生深入理解数学基本概念和基本理论，熟悉Matlab、几何画板、Lingo等常用的数学软件，以问题为载体，通过上机实验，在老师的指导下，探索建立模型解决问题的方法，观察实验结果，在失败与成功中获得真知。 二、教学内容、要点和课时安排 第一章Matlab软件简介及其基本操作 36学时 1. MATLAB界面及主要窗口介绍； 2. Command Window操作； 3. 数组的赋值与访问； 4. 矩阵和数组的常见运算函数； 5. M文件简介； 6. MATLAB函数文件的编写； 7. 循环与控制；
8. 二维图形绘制； 9. 三维图形绘制； 10.MATLAB求解线性代数问题； 11.MATLAB求解微积分问题； 12. MATLAB求解概率论与数理统计问题； 13. MATLAB与Office软件的交互使用； 14. 数值计算； 要求：熟练掌握MATLAB中数组和矩阵的常见运算函数，会编写M文件，掌握for循环、while循环、if—else—end结构，能绘制常见的二维、三维图形；会用MATLAB求解线性代数、微积分和概率论与数理统计问题；了解MATLAB 与Office软件的交互使用。 第二章Lingo软件简介及其基本操作 14学时 1. LINGO软件介绍； 2. LINGO求解优化问题； 要求：熟练掌握LINGO软件的使用，理解LINGO中的集、数据段、初始段和计算段，会使用LINGO中的运算符和函数，能利用LINGO求解简单的优化问题。 第三章几何画板 22学时 1. 几何画板介绍； 2. 用构造菜单作图； 3. 用变换菜单作图； 4. 动作按钮的制作； 要求：会用绘图工具绘制简单的组合图形，能选取、删除和拖动对象；能用几何画板构造直线、圆、图形内部和点的轨迹；掌握用几何画板对图形进行平移、旋转和缩放等变换；能利用几何画板控制对象的显示和隐藏、物体的移动和动态效果的实现。 三、教学方法 教学时以讲授为主，补充适量的例题和习题，配合适量的上机课，并进行课外辅导。
试卷二试题与参考答案 一、填空 1、 P ：你努力，Q ：你失败。 2、 “除非你努力，否则你将失败”符号化为 ； “虽然你努力了，但还是失败了”符号化为 。 2、论域D={1，2}，指定谓词P 则公式x ??真值为 。 3设A={2，3，4，5，6}上的二元关系}|,{是质数x y x y x R ∨<><=，则 R= （列举法）。 R 的关系矩阵M R = 。 4、设A={1，2，3}，则A 上既不是对称的又不是反对称的关系 R= ；A 上既是对称的又是反对称的关系R= 。 5、设代数系统，其中A={a ，b ，c}, 则幺元是 ；是否有幂等 性 ；是否有对称性 。 6、4阶群必是 群或 群。 7、下面偏序格是分配格的是 。
8、n 个结点的无向完全图K n 的边数为 ，欧拉图的充要条件是 。 二、选择 1、在下述公式中是重言式为（ ） A ．)()(Q P Q P ∨→∧； B ．))()(()(P Q Q P Q P →∧→??； C ．Q Q P ∧→?)(； D ．)(Q P P ∨→。 2、命题公式 )()(P Q Q P ∨?→→? 中极小项的个数为（ ），成真赋值的个数为（ ）。 A ．0； B ．1； C ．2； D ．3 。 3、设}}2,1{},1{,{Φ=S ，则 S 2 有（ ）个元素。 A ．3； B ．6； C ．7； D ．8 。 4、设} 3 ,2 ,1 {=S ，定义S S ?上的等价关系 },,,, | ,,,{c b d a S S d c S S b a d c b a R +=+?>∈∈<><><<=则由 R 产 生 的S S ?上一个划分共有（ ）个分块。 A ．4； B ．5； C ．6； D ．9 。 5、设} 3 ,2 ,1 {=S ，S 上关系R 的关系图为 则R 具有（ ）性质。 A ．自反性、对称性、传递性； B ．反自反性、反对称性； C ．反自反性、反对称性、传递性； D ．自反性 。