多值逻辑理论及其应用研究简介

学术活动主题：“多值逻辑理论及其应用研究简介”学术报告

地点：二教319

主讲人：刘任任

“多值逻辑理论及其应用研究简介”学术报告

多值逻辑是逻辑取值大于二的非经典逻辑。多值逻辑的思想可溯源到十九世纪，但正是作为一种逻辑系统，则是二十世纪由波兰逻辑学家Lukasicwicz 和美国数学家Post 分别于1920年和1921年各自独立提出来的。多值逻辑的研究内容可分为多值逻辑的数学理论，多值电路与多值数字系统，多值逻辑的应用。

报告人简介：
刘任任，湘潭大学教授。主持完成国家自然科学基金2项，国家863计划子课题1项；获卫星导航定位技术一等奖，湖南省科技进步二等奖1项，湖南省自然科学三等奖1项，湖南省教学成果二等奖1项；出版专著1部，所主编的《高等数学》被选为国家“十二五”规划教材。现任中国计算机学会理事、全国高等学校计算机教育研究会理事。