1、课程性质与任务 （1）课程性质 本课程是计算机及相关专业的职业基础课程，它是程序设计的入门语言，有很强的理论性，同时也包含了一定的实践课程的成分

工程力学的研究对象 研究物体机械运动(物体在空间的位置随时间的变化)规律以及构件强 度、刚度和稳定性等计算原理的科学。 工程力学的研究方法 从实践出发或通过实验观察,经过抽象化综合、归纳,建立公理或提出基本 假设,再用数学演绛和逻辑推理得到定理和结论,然后再通过实践来证实理论的 正确性

应用灰色系统理论,建立了灰色GM(1·1)预报钢产量的数学模型。该模型可对钢产量进行定量和定性预报。定量预报的平均精度为97.08%(最高精度达99.60%),定性预报结果与实际情况相吻合

设有一质点M,质量为m,在力F的作用下运动。任取 一固定点O,动点M的位置用矢径r表示,它的动量 为mv。则矢径r与动量mv的矢积rXmv则称为质点 的动量对O点的矩,用L表示。Lo=rXmv. 动量矩的单位,国际单位制为kgm2/s或Nms,工程单 位制为kgms

英语作为国际通用语的流行触发起许多值得我们反思的问题,如本族语者和非本族语者之分、我国英语教育的定位、过渡语(如基本体)特点、最终目标的确定、基于使用理论和课堂教学的关系、我国英语教师对教学的认识、我国英语教学的社会认识和舆论导向,等等

Kim B.Bruce于1978年提出了三价逻辑L(Q)的逻辑公理系统。H.J.Keisler在1971年发表了无穷逻辑中的模型论一书,提出了无穷逻辑的公理系统,文中结合上述两种逻辑系统的思想,应用了无穷逻辑中的模型论一书中介绍的和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。这部分主要是对Lw1w(Q)中的省略型定理及素模型定理的证明

Bruce于1978年提出二阶逻辑L(Q)的概念和公理系统。Keisler提出了无穷逻辑的公理系统。本文结合上述两种逻辑系统的思想,应用和谐性质的方法,建立了无穷逻辑中的二阶语言Lw1w(Q)的公理系统及模型理论。此文证明了主要是对Lw1w(Q)中的模型存在定理及推演完全性定理

概率论与数理统计 一.课程性质及教学目的: 本课程是一门研究随机现象统计规律性的基础课, 为重要的数学分枝之一。其应用已普及经济、科技、教 育、管理和军事等方面。现已成为高等工科院校教学计划中一门重要的公共基础课。 通过本课程的学习,使学生掌握处理随机现象的基本理论和方法,并且掌握一定的分析问题和解决实际问题的能力。 二.课程教学内容,重、难点安排,学时分配: 本课程以介绍概率论和数理统计的基本知识和方法为主,同时注意直观背景和实际意义

本文根据连轧的生产工艺特点,提出飞剪机剪切机构的合理设计要求,并利用运动几何学的理论和p曲线,给出了按给定的最佳轨迹曲线及其一系列连杆合理位置的剪切机构的设计方法。这种方法对于其他同类型的机构设计问题也具有普遍的意义

为方便,全书采用通常的逻辑约定:和,积,否定,蕴意, 等价,任意量和存在量分别用符号:V,,7,→,,以和3 在正文中,(xk)表示在第章的第节中的第k项 在文献中,[表示参考文献中的第k项其中k由该项 作者(们)姓的前几个字母接着为数字所组成姓氏按字母序 排同样的作者(们)则用数字区别不同的文章或其它出版物