1.属性文法(语法制导的定义)(SyntaxDirected- Definition)。 形式:CFG的每个产生式A→对应与之相关联的一个语义规则(semantic rules)集合,每条规则形如b:=f(c1,C2,,ck),其中f是一个函数,b1C2 ck是该产生式中文法符号的属性(attributes),b有两个可能(1)是A的一 个属性,C1,C2,,Ck是产生式右部文法符号的属性或A的其它属性称b是A的 综合属性(synthesized attribute),(2)是产生式右部某个文法符号x的一个属 性,并且C12,…,C是A或产生式右部任何文法符号的属性则称b是文法符号 x的继承属性( inherited attribute) 函数f通常以表达式的形式出现

三组分系统相律 f=K-+2=5-  f=０时,  =５,最多有五相共存. =1,f=4,最多有４个自由 度.往往在恒定p和Ｔ下,表示系统的状态.将不同温度下的 图形叠在一起就成为定压下系统在不同温度下的立体图. 三组分系统通常用等边三角形来表示组成

1、可降阶的高阶微分方程的解法 (1)y=f(x)型 解法接连积分n次,得通解. (2)y\=f(x,y)型 特点不显含未知函数y 解法令y=P(x),y\=P, 代入原方程,得P=f(x,P(x))

d d2+p(x)+Q(x)y=f(x)二阶线性微分方程 当f(x)=0时,二阶线性齐次微分方程 当f(x)≠0时,二阶线性非齐次微分方程

第四章空间力系 4.1已知F1=100N,F2=300N,F3=200N,作用位 置及尺寸如图(a)所示;

一、两向量的数量积 实例一物体在常力F作用下沿直线从点M1移动 到点M2,以5表示位移,则力F所作的功为 W= cos0(其中为F与的夹角) 启示两向量作这样的运算,结果是一个数量. 定义向量与b的数量积为a.b a.b=cos0(其中为a与b的夹角)

微分中值定理包括罗尔定理、拉格朗日中值定理、柯西中值定理 一.罗尔(Rolle)定理 定理1(罗尔定理)设函数f(x)满足下列条件: (1)在闭区间[a,b]上连续; (2)在开区间(a,b)上可导; (3)f(a)=f(b);

一、对应与变换 1. 集合之间的对应(关系、映射) 定义0.1. 设A, B为两个集合, f 是一种将A中的元素与B中的元 素配对的法则. 则称f 为集合A与B之间的一个关系, 记作 f : A → B

由牛顿—莱布尼兹公式知:计算定积分f(x)d 的关键在于求出f(x)在[a,b]上的一个原函数F(x);而由 第五章知求函数的原函数(即不定积分)的方法有凑微分法、 换元法和分部积分法.因而在一定条件下,也可用这几 种方法来计算定积分

一.(yn)=f(x)型 二.y\=f(x,y)型 三.y\=f(y,y)型 四.二阶线性微分方程的概念 五.函数的线性相关性 六.二阶线性微分方程解的结构 七.n阶线性微分方程解的结构 八.变系数微分方程的常数变易法