基于语义tableau的一阶逻辑自动定理证明

基于语义tableau的一阶逻辑自动定理证明

ID:14392588

大小:160.50 KB

页数:14页

时间:2018-07-28

基于语义tableau的一阶逻辑自动定理证明_第1页
基于语义tableau的一阶逻辑自动定理证明_第2页
基于语义tableau的一阶逻辑自动定理证明_第3页
基于语义tableau的一阶逻辑自动定理证明_第4页
基于语义tableau的一阶逻辑自动定理证明_第5页
资源描述:

《基于语义tableau的一阶逻辑自动定理证明》由会员上传分享,免费在线阅读,更多相关内容在教育资源-天天文库

1、景教基字[2008]50号关于转发《江西省普通高中学生综合素质评价实施方案(试行)》的通知县(市、区)教育局,各普通高(完)中:为认真做好我市普通高中新课程实验工作,现将省教育厅印发的《江西省普通高中学生综合素质评价实施方案(试行)》(赣教基字[2008]65号)转发给你们,请认真组织实施。《普通高中学生综合素质评价手册》是高中学生学籍材料的重要组成部分,《综合素质总评表》是高校招生考生档案材料之一,综合素质评价结果是高中学生毕业的依据之一,各普通高(完)中要为2008年秋季入学的高中学生建立《江西省普通高中学生综合素质评价手册》,并按省厅的要求认真做好高中学生综合素质的

2、评价工作,凡是评价中被评定为A或D的,必须提供充分的实证性材料,各评价内容均为A等第的学生要在校园内公示一周以上,接受师生监督。《学生成长记录表》是学生成长过程的记录,教师还要指导学生建立成长记录袋,把自己成长过程中有价值的资料(信息)收集起来,作为综合素质评价的原始依据,也为高校招生提供素材。各校在实施综合素质评价的工作中有何意见和建议,请及时与我局基础教育科联系。二OO八年十二月三十日主题词:教育高中综合素质评价方案通知—————————————————————————抄报:省教育厅基教处、市委马玉玲部长、市人大夏山东副主任、市政协素质李昌华副主席、市政府傅桂龙副秘书

3、长抄送:市教研所、市电教馆—————————————————————————景德镇市教育局办公室2008年12月30日印发—————————————————————————共印份江西省普通高中学生综合素质评价实施方案(试行)为了推动全省普通高中新课程实验顺利实施,根据《教育部关于积极推进中小学评价与考试制度改革的通知》(教基〔2002〕26号)和《教育部关于进一步加强普通高中新课程实验工作的指导意见》(教基〔2005〕6号)的要求,结合我省实际,制定本实施方案。一、指导思想普通高中学生综合素质评价,以党的教育方针为指导,以全面推进素质教育为导向,以促进学生全面发展为宗旨,

4、构建内容全面、方法科学、程序规范、结果客观的形成性评价和终结性评价相结合的评价体系,为学生的终身发展奠定基础。二、基本原则(一)全面性原则实施普通高中学生综合素质评价,着眼于学生的成长过程和整体表现,既关注全体发展又关注个体差异,既反映学生的综合素质,又彰显学生的个性、特长和发展潜能,实现评价内容的全面化。  (二)发展性原则坚持以发展的眼光看待学生,注重学生的日常行为表现,将形成性评价与终结性评价有机结合,发挥评价的激励功能,促进学生全面发展。(三)民主性原则加强学生之间、教师和家长之间的对话与交流,开展有效的学生自评、互评和教师评价,及时反馈,增进理解与沟通,营造良好

5、的民主氛围。(四)多样化原则把日常评价、成长记录与学科模块测试结合起来,把纸笔测试与平时作业、课堂表现、情景测验、行为观察、实验操作等结合起来,实现评价方式多样化。(五)可操作性原则评价过程简便、直观、易操作,逐步实现评价操作与管理的信息化。(六)客观性原则建立、健全评价管理和监督制度,不断完善评价方法,确保对学生的评价全面、客观、具体、实事求是,增强高中学生综合素质评价工作的实效性。三、内容标准普通高中综合素质评价包括对学生学科学习目标和基础性发展目标两方面的综合评价。(一)学科学习目标学科学习目标是指各学科《课程标准》提出的本学科学习的目标和各学段学生应达到的目标。各

6、学科的修习情况按《江西省普通高中学分认定办法(试行)》有关规定记录在《江西省普通高中学生综合素质评价手册》中。(二)基础性发展目标依据《教育部关于积极推进中小学评价与考试制度改革的通知》要求,普通高中学生基础性发展目标评价的内容包括道德品质、公民素养、学习能力、交流与合作、运动与健康、审美与表现六个评价维度,各维度主要表现如下:1.道德品质:爱祖国、爱人民、爱劳动、爱科学、爱社会主义;遵纪守法、诚实守信、维护公德、关心集体、保护环境。2.公民素养:自信、自尊、自强、自律、勤奋;对个人的行为负责;积极参加公益活动;具有社会责任感。3.学习能力:有学习愿望与兴趣,能运用各种学

7、习方式提高学习水平,有对自己的学习过程和学习结果进行反思的习惯;能够结合所学不同学科的知识,运用已有的经验和技能,独立分析并解决问题;具有初步的研究与创新能力。4.交流与合作:能与他人一起确立目标并努力去实现目标,尊重并理解他人的观点与处境,能评价和约束自己的行为;能综合地运用各种交流和沟通的方法进行合作。5.运动与健康:热爱体育运动,养成体育锻炼的习惯,具备锻炼健身的能力、一定的运动技能和强健的体魄,形成健康的生活方式。  6.审美与表现:能感受并欣赏生活、自然、艺术和科学中的美,具有健康的审美情趣;积极参加艺术活动,用多种

当前文档最多预览五页,下载文档查看全文

此文档下载收益归作者所有

当前文档最多预览五页,下载文档查看全文
温馨提示:
1. 部分包含数学公式或PPT动画的文件,查看预览时可能会显示错乱或异常,文件下载后无此问题,请放心下载。
2. 本文档由用户上传,版权归属用户,天天文库负责整理代发布。如果您对本文档版权有争议请及时联系客服。
3. 下载前请仔细阅读文档内容,确认文档内容符合您的需求后进行下载,若出现内容与标题不符可向本站投诉处理。
4. 下载文档时可能由于网络波动等原因无法下载或下载错误,付费完成后未能成功下载的用户请联系客服处理。