Axiom Schemata for F Axiom Schema 1 A ∨ A ⊃ A Axiom Schema 2 A ⊃ (B ∨ A) Axiom Schema 3 A ⊃ B ⊃ (C ∨ A ⊃ (B ∨ C)) Axiom Schema 4 ∀xA ⊃ Sxt A where t is a term free for the individual variable x in A Axiom Schema 5 ∀x(A ∨ B) ⊃ (A ∨ ∀xB) provided that x is not free in A

本文研究了一种新型无钴超硬高速钢在马氏体成份和二次硬化之间的关系。采用“马氏体碳饱和度”（AM=CsM/CpM,CsM—马氏体含碳量,CpM—马氏体中合金元素在回火时形成二次硬化碳化物所需碳量）作为描述马氏体中合金元素和碳（M—C）配比关系的参数。得出,①AM和二次硬度有相当严格的依从关系。在通常的成分范围内,与某个合金元素或其总体比较,它对硬度的影响更大些。②当马氏体成分符合W2C、Mo2、V4C3及Cr7C3原子比时,获得最高的二次硬度—HRC69左右。讨论了G、Steven平衡碳计算式。为解决某些合金化的定量问题,建议采用“钢的碳饱和度”（A=Cs/Cp）表征高速钢中M—C配比。C

留数定理设区域G的边界C为一分段光滑的简单闭合曲线.若除有限个孤立奇点bkk= 1,2,3,…,n外,函数f(2)在G内单值解析,在中连续,且在C上没有f(z)的奇点,则

2-1 编程（文件名为 S2-1.C）。定义 3 个 int 变量 x,y,z 和一个实型变量 average， 计算并输出 3 个整数的平均值 average，即 average=(x+y+z)/3，其中 x,y,z 的值可以通过变量的初始化赋值 x=1,y=1,z=0，也可以通过赋值语句赋值

一、选择题（每小题 1 分，共 10 分） 1．在 C 语言中，逻辑值“真”用 （1） 表示。 （1）(A) true (B) 大于 0 的数 (C) 非零整数 (D) 非零的数 2．下列程序中有 3 个具有相同功能，只有 （2） 所完成的功能与其他程序不同

光的波长与频率的关系由光速确定，真空中的光速 c=2.99793×1010cm/s，通常c≈3×1010cm/s。光的波长 λ和频率ν的关系为 ν的单位为Hz，λ的单位为cm

地球与其它星球特征的区别是有浩瀚的海洋海洋緼育了地球上的生命现代 地球上70.8%4/3)的面积为海洋地史中由于海陆的变迁海水增多次侵入大陆内部, 在地层中留下了广泛的遗迹。例如,淮南地区保留的从云古代中晚期(t2)到 中奥陶(02)的地层都属海相沉积也就是说从10亿前5亿年这个时期, 淮南地区曾被海水淹没,成为了海洋的一部分,02C2上升出海面,C2 P又处于海陆交互的滨岸地带(成煤时期)

一、选择题（每小题 2 分，共 70 分） （1）一个栈的初始状态为空。现将元素 1、2、3、4、5、A、B、C、D、E 依次入栈，然后 再依次出栈，则元素出栈的顺序是（ ）。 A）12345ABCDE B）EDCBA54321 C）ABCDE12345 D）54321EDCBA

6-3结构位移计算的一般公式 一、杆件局部(微段)变形时的位移图示梁,仅在BC微段ds上发生变形,其它部分仍保持刚性。若仅考虑CA段,相当于悬臂梁CA在固定端C处有支座位移。因此,可利用刚体的虚功原理,由静定结构支座移动时求位移的方法来研究。即沿拟求位移方向虚设单位力,并求出C截面的内力。代入公式:

1、正常人血中 − HCO3 与 H2CO3 之比应为（ ）。 A、10：1 B、15：1 C、20：1 D、25：1 E、30：1 2、体液平衡中细胞外液最重要的阴离子为（ ）。 A、 − HCO3 B、 − HPO4 C、 2−SO4