一、数理逻辑部分 1、命题的概念，联结词、真值表、联结词完全集 2、符号化（命题符号化和谓词符号化） 3、基本等值式、演算、公式类型、主范式、前束范式 4、推理：自然推理系统 二、集合论部分 1、集合：基本概念、运算，、、幂集、卡氏积、集合运算的基本算律；容斥原理 2、二元关系：定义；给定集合上的二元关系的个数，满

1.海南大学有哪些研究生的专业 海南大学(Hainan University)，简称海大，坐落在国家历史文化名城--海南省会海口市，是海南省属综合性重点大学，是海南省，教育部和财政部共建高校，国家“211工程”重点建设大学，“国家卓越工程师教育培养计划”、“国家卓越法律人才教育培养计划”、，国家首批卓越农林人才教育培养计划改革试点高校，国家“中西部高校综合实力提升工程”入选高校，是“中西部高校联