位置：立项数据库 > 立项详情页
　社会博弈的逻辑与计算模拟研究
  • 项目名称：　社会博弈的逻辑与计算模拟研究
  • 批准号：13&ZD186
  • 项目来源：2013年度国家社会科学基金重大项目（第二批）
  • 研究期限：2013-11-
  • 项目负责人：赵希顺
  • 依托单位：中山大学
  • 批准年度：2013
成果综合统计
成果类型
数量
  • 期刊论文
  • 会议论文
  • 专利
  • 获奖
  • 著作
  • 2
  • 0
  • 0
  • 0
  • 0
期刊论文
公共历史文化中的“克服历史”之争——近来德国公众史学研究中的一个热点问题
流出地调查法：农村流动人口调查的理论与实践
赵希顺的项目
量化布尔公式的理论与算法研究
期刊论文 18 会议论文 3 著作 1
　表达能力与计算复杂性研究
期刊论文 2
二阶逻辑的表达能力与计算复杂性
期刊论文 15 会议论文 2
极小不可满足公式的结构与分类
计算机科学的数学基础
度量空间上的计算复杂性的进一步研究
度量空间上的计算复杂性理论
　量化线性时序逻辑研究
期刊论文 1
逻辑方法建模中的可满足性广州国际研讨会
第11届可满足性问题的理论与应用国际会议