您好!欢迎来到必赢电子游戏网站437
设为首页  |  加入收藏
教师详情
当前位置: 首 页>>师资队伍>>教师团队>>教师详情>>正文
 名师风采 
 教师团队 
 队伍建设 
最新消息
曹发生
2023-04-04 16:48   审核人:   (点击: )

曹发生个人简介

 

曹发生,男,哲学博士,中山大学逻辑学专业数理逻辑方向毕业,现任必赢电子游戏网站437副教授,认知科学与技术系“人工智能与思维认知”教研室主任。主讲课程:《数据分析与SPSS应用》(SPSS统计分析与应用)、《教育与心理统计》《教育学研究方法》之教育测量法、《人工智能概论》《现代逻辑与形式化方法》《Python基础》《认知计算(机器学习)》《认知网络分析》等。

◆研究领域

教育管理;教育测量;教育调研分析;人工智能;量子认知等。

◆主要课题

主持2020年度国家社科基金西部项目“多模态逻辑的代数语义研究”。

主持完2009年度贵州省教育厅自然科学基金项目“布尔格值自动机及其应用”。

主要参与完成2017年度国家自然科学基金项目“分片等距系统若干动力学问题的研究”。

主要参与完成2013年度贵州省自然科学基金项目“量子自动机的状态复杂性”。

主要参与2020年度贵州省哲学社会科学规划国学单列重大基金项目“认知科学与阳明心学的实证研究”。

◆主要成果

[1]曹发生等.循环Tbox具有模型的条件[J].计算机学报,2008,35(1):9-16.

[2]曹发生.信息系统更新的自动机[J].逻辑学研究,2015,8(01):79-94.

[3]曹发生.Tarski代数和模态代数的主同余[J].山东大学学报(理学版),2020,55(10):20-23.

[4]曹发生,肖方.模态代数的主同余[J].山东大学学报(理学版),2020,55(02):104-108.

[5]曹发生.开放世界信息更新的逻辑系统[J].烟台大学学报(自然科学与工程版),2020,33(04):464-471.

[6]张学立,董英东,曹发生,张家锋哲学逻辑引论[M]北京:科学出版社.2013.

[7] 张维, 侯金宏, 曹发生,. 描述逻辑系统FLEN中概念的最小公共包含算法研究[J]. 计算机研究与发展, 2010.

[8] 张家锋,徐扬,曹发生.格值一阶逻辑LF(X)中α-广义语义归结方法的相容性[J].模糊系统与数学,2016.

[9] 聂登国, 康旺强, 曹发生,. 描述逻辑FL0的包含推理及其保守扩充[J]. 计算机研究与发展, 2015.

[10] Cao F Arbitrary Finite Dimensional Generalization of Quantum Coin-Flipping Game[J]. Journal of Physics: Conference Series, 2020, 1650(3):032140.

[11] Cao F , Wei Z , Zhang X , et al. THE RELATION BETWEEN THE NUMBER RESTRICTION AND THE VALUE RESTRICTION ON FRAGMENTS OF ALCN. 2015.

[12]Zhang YCao F.On the Succinctness of Cardinality Constraint Programs and Canonical Logic ProgramsInternational Symposium on Computational Intelligence and Design2019.

关闭窗口
关注我们
 联系我们 | 新闻速递 | 就业信息 | 返回首页 | 教务信息 | 专题链接 
必赢电子游戏网站437[亚洲]平台官网入口V9.17.10-安卓/苹果APP...版权所有 地址:贵州省贵阳市花溪区 邮编:550025
Baidu
sogou