论文部分内容阅读
由贵州大学计算机科学与信息学院主办的“国际逻辑会议LOGIC2009”于2009年9月22日在贵州大学南校区南园接待中心隆重召开。20多位逻辑学家、数学家和计算机科学家参加了会议，他们分别来自贵州大学、贵州民族学院、新加坡国立大学、中国科学院、北京师范大学、四川大学、南开大学、南京大学、
“国际逻辑会议LOGIC2009”会议综述
【摘 要】
：
由贵州大学计算机科学与信息学院主办的“国际逻辑会议LOGIC2009”于2009年9月22日在贵州大学南校区南园接待中心隆重召开。20多位逻辑学家、数学家和计算机科学家参加了会议
【机 构】
：
中山大学逻辑与认知研究所、哲学系
【出 处】
：
逻辑学研究
【发表日期】
：
2009年3期
其他文献
运用数理统计原理,讨论了人居环境质量评价模型与指标计算方法,包括质量指数法、模糊综合评价法和层次分析法。通过比较分析其特点与适用性,得出结论：层次分析法因其科学、严
桥梁车载的识别是桥梁健康监测的重要一环,是规划设计和安全评估的重要依据。为了更好地利用神经网络识别桥梁车载,模拟头狼效应的生物学意义,提出了一种头狼效应算法用以优
按照国家电网公司统一部署,国网新疆电力公司结合新疆地区实际情况,积极部署,精心组织,健全机制,综合治理,扎实推进农村＂低电压＂专项治理工作。2015年投入26.86亿元,改善电压质
中西医结合治疗冠心病４５例临床观察附院中医科黄本才自１９８５～１９９３年，我科用中西医结合治疗冠心病４５例，取得较好的疗效，现小结如下：１临床资料４５例患者均为住院病人，其中男性２２例，女性２３例，年龄４２～８４岁。病程最短
施行甲状腺再次手术３８例，发生并发症３例（７．８９％），其中喉返神经损伤１例，喉上神经损伤１例，暂时性甲状旁腺功能低下１例。对再次甲状腺手术的操作和并发症的预防进行了初步探讨。
1 学组工作回顾按照学会“面向基层,大力开展科技咨询和科普活动。大力开展学术交流”的要求。六年来,在省蚕学会的领导下,先后开展以下活动: 1.1深入主产蚕区考察调查 1.1.1
【正】 (一)李岚清副总理对中国丝绸业的地位和作用做过这样的概括:我国茧丝绸业是具有5000多年历史的传统产业,是为国民经济发展做过重大贡献的产业,是在国际市场处垄断地位
<正> 广东省是我国蚕茧生产的主要省份之一,蚕桑生产历史悠久。由于帝国主义、封建主义和官僚买办的摧残破坏,到解放前夕,广东的蚕桑生产已一落千丈。解放后,在党和人民政府
<正> 三、我国软科学研究发展的前景展望随着人们决策意识和观念的不断更新,软科学研究工作已提上各级政府的工作日程,并成为我国科技事业的重要组成部分。今天,在现代社会科