"国际逻辑会议LOGIC2009"会议综述

由贵州大学计算机科学与信息学院主办的"国际逻辑会议LOGIC2009"于2009年9月22日在贵州大学南校区南园接待中心隆重召开.20多位逻辑学家、数学家和计算机科学家参加了会议,他们分别来自贵州大学、贵州民族学院、新加坡国立大学、中国科学院、北京师范大学、四川大学、南开大学、南京大学、中山大学等国内外著名高校或研究机构.来自贵州高校的多名研究生旁听了会议.     

会议纪要

全国高等师范院校数学教育研究会2004年学术年会,于2004年10月29日—11月1日在辽宁省大连市召开.年会的主题是:数学教师教育的改革与发展.年会的6个研究专题是:高师数学教育专业课程的设置及教材建设;高师数学教育与中小学数学教育改革;高师数学教育专业课程的教学改革;高师数学教育课程教学质量的评价;信息技术与数学课程、教材、教学的整合;中学数学教育改革与数学教师培训.2004年数学教育高级研讨班,于2004年12月10日—14日在广西南宁举行.本次研讨的主题是“基础与创造”.研讨主要成果有:总结与发展数学“双基”的优良传统;研究“双基数学教学”现状,关注现实,服务现实;探索“双基”的理论基础;寻求“双基”与“创新”的结合.全国第七届数学方法论与数学教育改革学术研讨会(PMVII全国会议),2004年11月16日—21日在天水师范学院举行.会议分两个阶段,第一阶段为开幕式及大会发言;第二阶段会议的主题是对MM实验进行专题讨论.四川省高师院校数学教学论研修会于2004年11月19日—21日在内江师范学院召开.会议安排了专题讲座和主题发言,在大会上进行了论文交流,并围绕“数学教学论”的相关问题进行了讨论.