论文部分内容阅读
由贵州大学计算机科学与信息学院主办的“国际逻辑会议LOGIC2009”于2009年9月22日在贵州大学南校区南园接待中心隆重召开。20多位逻辑学家、数学家和计算机科学家参加了会议，他们分别来自贵州大学、贵州民族学院、新加坡国立大学、中国科学院、北京师范大学、四川大学、南开大学、南京大学、
“国际逻辑会议LOGIC2009”会议综述
【摘 要】
：
由贵州大学计算机科学与信息学院主办的“国际逻辑会议LOGIC2009”于2009年9月22日在贵州大学南校区南园接待中心隆重召开。20多位逻辑学家、数学家和计算机科学家参加了会议
【机 构】
：
中山大学逻辑与认知研究所、哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2009年3期
其他文献
运用数理统计原理,讨论了人居环境质量评价模型与指标计算方法,包括质量指数法、模糊综合评价法和层次分析法。通过比较分析其特点与适用性,得出结论：层次分析法因其科学、严
桥梁车载的识别是桥梁健康监测的重要一环,是规划设计和安全评估的重要依据。为了更好地利用神经网络识别桥梁车载,模拟头狼效应的生物学意义,提出了一种头狼效应算法用以优