《普通高中英语课程标准(2017年版)》提出践行英语学习活动观,培育学生核心素养。基于英语学习活动观的学习活动有其"统整六要素"的特殊内涵,对师生的发展都具有重大意义。贯彻英语学习活动观,教师需要遵循四项基本理念:"...《普通高中英语课程标准(2017年版)》提出践行英语学习活动观,培育学生核心素养。基于英语学习活动观的学习活动有其"统整六要素"的特殊内涵,对师生的发展都具有重大意义。贯彻英语学习活动观,教师需要遵循四项基本理念:"意义探究"贯彻始终、"文本解读"必须做实、"活动设计"彰显逻辑、"活动目标"指向素养。这些理念在人教版高中英语教材必修四第一单元A Student of African Wildlife的阅读教学设计中得到阐释。展开更多
Based on the study of the current two methods—interpretation and compilation—for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits ...Based on the study of the current two methods—interpretation and compilation—for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits the advantages of both methods,but overcomes the drawbacks of theirs.A new integrated system based on this approach is presented,which has been implemented on Micro VAX Ⅱ and applied to practise as the kernel of the GKBMS knowledge base management system.Also discussed are the key implementation techniques,including the coupling of logic and relational database systems,the compound of logic and relational database languages,the partial evaluation and static optimization of user's programs,fact scheduling and version management in problem-solving.展开更多
文摘《普通高中英语课程标准(2017年版)》提出践行英语学习活动观,培育学生核心素养。基于英语学习活动观的学习活动有其"统整六要素"的特殊内涵,对师生的发展都具有重大意义。贯彻英语学习活动观,教师需要遵循四项基本理念:"意义探究"贯彻始终、"文本解读"必须做实、"活动设计"彰显逻辑、"活动目标"指向素养。这些理念在人教版高中英语教材必修四第一单元A Student of African Wildlife的阅读教学设计中得到阐释。
文摘Based on the study of the current two methods—interpretation and compilation—for the integration of logic programming and relational database,a new precompilation-based interpretive approach is proposed.It inherits the advantages of both methods,but overcomes the drawbacks of theirs.A new integrated system based on this approach is presented,which has been implemented on Micro VAX Ⅱ and applied to practise as the kernel of the GKBMS knowledge base management system.Also discussed are the key implementation techniques,including the coupling of logic and relational database systems,the compound of logic and relational database languages,the partial evaluation and static optimization of user's programs,fact scheduling and version management in problem-solving.
