公理化
为提高青年教师教科研水平和能力,营造教师从事科学研究的氛围,大学数学教学部11月1日下午在励智楼134教师活动中心举办了“学术活动月”专题讲座。夏秀云主任主持会议,罗治国教授进行主讲,全体青年教师参加讲座学习。 罗教授主讲主题为几何学的几个问题,从几何学的发展简史、公理化方法与图形的演绎推理、非欧几何、多面形的欧拉公式以及尺规作图与三等分角等五个方面展开
逻辑学专业学生主要学习逻辑学、数学、计算机科学和哲学方面的基本理论和基础知识,受到公理化方法、形式化方法和语义分析方面的基本训练,具有专业研究的基本能力。 数学分析、高等代数、抽象代数、概率统计、逻辑导论、数理逻辑、集合论、模态逻辑、归纳逻辑、应用逻辑、逻辑史、逻辑哲学、中国逻辑史、西方逻辑史、现代逻辑思想史、程序语言设计、操作系统等。 本专业培养具备系统的逻辑学基础知识,一定的数学素养以及计算机理论和操作能力,能在高等院校、科研单位、国家机关及企事业管理部门从事逻辑学的教学、科研和应用方面的工作,并能从事计算机科学和语言学的科研和应用方面相关工作的逻辑学高级专门人才
随着部分学科的发展,人们在研究的过程中,发现了不少的分支。数学物理和理论物理,就是数学和物理上的分支。由于名字的关系,让很多人对这两个名词产生了很多误解,其实两者最大的区别,就是应用的范围和领域不同
经济学方法(Economic Methodology),一般指研究或者应用经济学时采用的各类方法。主要包括数学方法、计量方法、历史方法、公理化与形式化方法等等。 2023第八届经济,管理与社会科学国际会议(ICEMSS2023)涵盖主题包括但不仅限于经济学方法等领域,会议组委会诚邀全球相关领域的学者、专家参加此次国际会议,就相关热点问题进行探讨、交流,共同促进科学研究的进步与发展