计算机科学与软件研究—李未院士纪念文集
内容简介:本书共计论文22篇。书中共3章,第1章介绍了李未和学生在结构操作语义、开放逻辑和可满足性问题求解等软件基础理论方向的工作;第2章介绍了李未率先提出的海量信息系统的基本问题以及学生在非结构化数据处理、暗物质数据挖掘、机器学习等方向上的工作;第3章则包含了李未提出的互联网群体智能思想和慕课教育理念,以及在群体智能理论、计算教育学等相关方向上合作者和学生的延续工作。
登录后可荐购