论文部分内容阅读
动态逻辑与形式语义
【机 构】
：
上海交通大学计算机系
【出 处】
：
全国第二届计算机语言学联合学术会议
【发表日期】
：
1993年期
其他文献
在“前言”指出“高中语文课程,应注重应用,加强与社会发展、科技进步的联系,加强与其他课程的沟通”;同时在“课程目标”部分强调“注重跨领域学习,拓展语文学习的范围”.这
一、前言苜蓿春季黑茎病(我国一些学者称之轮纹病)引起人们注意已有百年历史,吸引了许多学者进行研究。这是因为,此病不仅是一种常见的病,也是苜蓿和草木樨的毁灭性病害,破
教学有效性就是在教学活动中,教师采用各种方式和手段,用最少的时间、最小的精力,取得尽可能多的教学效果,实现特定的教学目标,满足社会和个人的教育需求。学生是课堂教学的
说起“半字师”,毛泽东就有好几位.rn1959年6月25日毛泽东回到故乡韶山,写了.庐山会议初期,他将这首诗印发征求意见,身边工作人员梅白同志反复读了全诗,理解毛泽东是以此诗来
从生命的高度来看,每一节课都是不可重复的激情与智慧综合生成的过程。如果在每天常态的课堂上,教师和学生们常常有不寻常的交流,体验一次次动态生成的精彩,那么,这样的课堂