为确保本周“树人大讲堂”素质教育系列讲座正常有序开展。现将具体事宜安排如下:
一、第十一讲讲座主题:百年世界科学难题获解—— 一个引人入胜的实例
二、主讲人: 龚启荣
三、主讲人简介:龚启荣,江西景德镇人。1964年大学毕业后被选派到贵州省委党校理论研究班学习并开始从事理论教育工作。系贵州省先进科技工作者(记二等功)、国际符号逻辑协会会员、BLS国际逻辑学会会员、东亚国际符号学会会员、贵州省社科联委员、贵州省科协第四届委员、贵州制约逻辑学会理事长、贵州省逻辑教学研究会会长。曾任贵州大学信息管理系主任。现任贵州大学老科学技术工作者协会委员、逻辑学教授、学术带头人、逻辑学研究生导师,兼贵州人民武装学院教学督导和逻辑学教授。发表论文Entailment Logic——A Development of Traditional Logic Our Times(J)(第八届国际逻辑、科学哲学和科学方法讨论会论文集,莫斯科科学出版社1987年)、Entailment Logic And Knowledge Representation(J)(《符号逻辑杂志》,美国,1992年第1期第57卷)、Orthodox Mathematical Logic is Not a Reasoning Theory(J)和Lin’s Entailment Logic Symbol System Can Logically Represent All Knowledge(J)(《符号逻辑会刊》,美国,2007年第3期第13卷)等200多篇。出版著作《制约逻辑导论》(M)(贵州人民出版社1990年)、《形式逻辑导引》(M)(贵州人民出版社1995年)、《逻辑斯谛——又称"数理逻辑"的二值数学》(M)(贵州教育出版社1998年)、《逻辑学》(M)(贵州人民出版社2005年)、《当代形式逻辑基础》(M)(贵州教育出版社2006年)、《形式逻辑客体说导论》(M)(天马出版有限公司2008年)、《当代形式逻辑引论》(M)(电子工业出版社2009年)、《当代形式逻辑及其在人工智能中的应用理论研究》(M)(电子工业出版社2010年11月)、《客体逻辑导引》(M)(人民日报出版社2011年9月)等9部。曾10余次受国际重要逻辑学术会议邀请并发表论文。完成国家工业和信息化部、教育部和省级科研课题10余项。其中一个应用项目“制约逻辑在人工智能中的应用理论研究”,由贵州省科委组织同行专家鉴定,并经国际联机查新检索,认定该项目的“一些成果居国际领先水平”(见《贵州省科技进步奖获奖项目简介(1990年)》和《鉴定证书》)。龚启荣的教学、科研情况在《团结报》、《贵州日报》、《贵州经济报》、《贵州政协报》、《中国哲学年鉴》、《贵州年鉴》以及一些网站上均有介绍。
四、讲座时间:2013年11月27日(周三) 晚7:00——9:00
五、讲座地点:逸夫学术中心小报告厅
六、参会要求:
1、由于此次讲座主讲老师的特殊要求,需安排在数学方面有较强接受能力的学生参加,故烦请各学院配合,在各班级中安选拔2名数学成绩较好的学生到场听讲。
2、参加讲座的人员须遵守会场秩序,提前10分钟进场,讲座中途不得随意走动,不得擅自离场,讲座期间手机调为振动或静音状态。
3、保持小报告厅环境卫生,严禁吸烟,严禁乱丢果壳。
4、讲座结束后,请有序退场。
欢迎广大师生届时参加。
共青团九州网页版,九州(中国)官方委员会
2013年11月26日