“模态”一词是英文“modal”的音译,原意为“样式的”,“情态的”。模态逻辑是研究包 含模态词“必然”、“可能”的模态命题及其推理的科学。模态逻辑历史很悠久,早在两千多年 前,亚里士多德就对模态命题做过许多讨论,研究了模态词和模态三段论,但在很长一段时间 里模态逻辑的价值被忽略了,因而模态逻辑基本上没有得到发展。直到本世纪初,美国逻辑学 家 Lewis用数理逻辑的方法和观点对模态逻辑作了系统的研究,这才使模态逻辑的发展进入了 一个崭新的时期

《法国通史简编》是受国家教育委员会委托而编写的高等 学校历史专业教材之一,亦可供世界史研究生、法国历史爱 好者和外事工作者参考使用。 法国是西欧的古国之一,有着灿烂的文化、光荣的革命 传统,在国际事务中历来起着重要作用。因此,要编写出 部具有一定特色的法国史,决非易事。编写此书,是教学急 需的一种尝试。在编写过程中,我们坚持以唯物史观为指导, 以社会经济史为重点,力图展现法国历史的全貌,包括经济、 政治、军事、科技、思想文化的发展、同时注意法国对人类 文明所作出的贡献 本书共分18章进行叙述

(1)期中测验(50%)。所有学生参加。包括判断题、选择题和问答题等。 (2)自选课题研究报告(50%),仅供期中测验在85分(含)以上的学生选择参加。 (3)期末测验(50%),期中测验在85分以下学生必须参加,85分以上者选择参加

1.掌握不同学科实验研究方法的特点和优势。 2.掌握如何根据实验研究的要求选择实验研究方法(包括一种或几种方法)。 3.了解各学科的主要实验研究方法。 4.了解各学科实验研究方法在中医药研究中的应用

1.掌握不同学科实验研究方法的特点和优势。 2.掌握如何根据实验研究的要求选择实验研究方法(包括一种或几种方法的要求) 3.了解各学科的主要实验研究方法

CAD( computer aided design)是一种用计算机硬、软件系统辅助人们对产品或 工程进行设计的方法与技术,包括设计、绘图、工程分析与文档制作等设计活动 它是一种新的设计方法,也是一门多学科综合应用的新技术

社会组织按其是否以营利为目的可分为两大类即营利性的企业和非营利组织。非营利 组织是不以营利为主要目的的社会组织,包括教育科研、文化艺术、医疗卫生、宗教、慈 善福利以及公交、水电、铁路、邮电等社会公共服务机构。非营利组织兴建的项目一般称 为公益性项目,由于公益性项目与营利性的企业兴建的竞争性项目在运营目的上的存在差 别,造成了公益性项目评价的特殊性,需要对其做专门研究

现代集约化养猪生产要求猪的繁殖过程能更多地受到人为的控制,以便更方便的组织 生产。达到同期发情、集中配种、妊娠期统一管理、同期分娩、仔猪交叉寄养、同期出栏 等目的。集约化养猪场的繁殖控制技术包括以下方面:

一、判断题(对的打“√”,错的打“×”并更正,每小题1-2分,共23分) 1、处于完全竞争市场的企业不适宜高负债筹资。 2、企业财务管理中对财务关系的协调包括处理好相关的人际关系。 3、进行长期投资决策时,如果某一备选方案净现值比较大,那么该方案内含报酬率也相应较高

一、选择题(每题2分,共36分) 1、在每个C++程序中都必须包含有这样一个函数,该函数的函数名为 A. main. MAIN C. name D. function 2、关于C++与C语言关系的描述中,是错误的。 A.C语言是C++语言的一个子集 B.C语言与C++语言是兼容的 C.c++语言对C语言进行了一些改进 D.c++语言和C语言都是面向对象的