首页> 外文会议>Software quality engineering >An environment for supporting the learning of abstract algebra

【24h】

An environment for supporting the learning of abstract algebra

机译：支持抽象代数学习的环境

获取原文

获取原文并翻译 | 示例

页面导航

摘要
著录项
相似文献
相关主题

摘要

An environment for supporting interactive abstract algebra learning is presented. The environment is based on the definition of an object-oriented programming language integrated with an automated deduction tool. The class construct is enhanced by allowing for defining axioms for the objects in that class. We present the main features of the environment, and show some significant examples based on work sessions.

机译：提出了一种支持交互式抽象代数学习的环境。该环境基于与自动演绎工具集成的面向对象编程语言的定义。通过允许为该类中的对象定义公理来增强类构造。我们介绍了环境的主要特征，并根据工作会议展示了一些重要的示例。

著录项

来源
《Software quality engineering》|1997年|p.15-26|共12页
会议地点 Udine(IT);Udine(IT)
作者
G. Cioni; A. Colagrossi; M. temperini;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种 eng
中图分类自动化技术、计算机技术;
关键词

相似文献

外文文献
中文文献
专利

1. Developing learning environments which support early algebraic reasoning: a case from a New Zealand primary classroom [J] . Jodie Hunter Mathematics education research journal . 2014,第4期

机译：开发支持早期代数推理的学习环境：来自新西兰小学教室的案例
2. Whata€?s in a learning environment? Recognizing teachersa€? roles in shaping a learning environment to support competency [J] . Patricia S. Oa€?Sullivan Perspectives on Medical Education . 2015,第6期

机译：什么是学习环境？认可老师？在塑造学习环境以支持能力方面的作用
3. Organizational Support in Online Learning Environments: Examination of Support Factors in Corporate Online Learning Implementation [J] . THOMAS L. SCHULTZ, ANA-PAULA CORREIA International journal on E-learning . 2015,第1期

机译：在线学习环境中的组织支持：企业在线学习实施中的支持因素检查
4. An environment for supporting the learning of abstract algebra [C] . G. Cioni, A. Colagrossi, M. temperini International conference on software quality engineering . 1997

机译：支持抽象代数学习的环境
5. Tracking changes in teaching and learning abstract algebra: Beliefs and ability to abstract. [D] . Hirsch, Jenna. 2008

机译：跟踪教学和学习抽象代数的变化：信念和抽象能力。
6. What’s in a learning environment? Recognizing teachers’ roles in shaping a learning environment to support competency [O] . Patricia S. O’Sullivan 2015

机译：学习环境是什么？认识到教师在塑造学习环境以支持能力方面的作用
7. Home > All Content > Vol 50, No 1 (2019) Exploring Research–Policy Partnerships in International Development Cover Page Edited by: James Georgalakis and Pauline Rose June 2019 Volume 50 Issue 1 This issue aims to identify how partnerships focused on the production of policy-engaged research seek to achieve societal impact and explores the challenges in these processes. The collaborations analysed span academia, civil society and government, from the grassroots to the national and global levels. By locating these examples within the broader debates on interactions between researchers and research users designed to strengthen evidence informed decision making, this publication offers concepts and practices to inform those funding, designing and undertaking development research. The featured case studies are explored through the perspectives of both researchers and their partners in civil society and policy. They are predominantly taken from a diverse portfolio of research projects funded through the UK’s Economic and Social Research Council (ESRC) and the Department for International Development (DFID) Strategic Partnership. A collaboration with the Impact Initiative, this IDS Bulletin is essential reading for all those in research organisations, development agencies and donors committed to the better use of evidence and learning for development. Exploring Research–Policy Partnerships in International Development James Georgalakis, Pauline Rose DOI: 10.19088/1968-2019.100 ABSTRACT FULL ISSUE PDF Foreword Diana Dalton DOI: 10.19088/1968-2019.102 ABSTRACT PDFONLINE ARTICLE Introduction: Identifying the Qualities of Research–Policy Partnerships in International Development – A New Analytical Framework James Georgalakis, Pauline Rose DOI: 10.19088/1968-2019.103 ABSTRACT PDFONLINE ARTICLE Rethinking Research Impact through Principles for Fair and Equitable Partnerships Kate Newman, Sowmyaa Bharadwaj, Jude Fransman DOI: 10.19088/1968-2019.104 ABSTRACT PDFONLINE ARTICLE Pathways to Impact: Insights from Research Partnerships in Uganda and India Rachel Hinton, Rona Bronwin, Laura Savage DOI: 10.19088/1968-2019.105 ABSTRACT PDFONLINE ARTICLE Exploring Partnerships between Academia and Disabled Persons’ Organisations: Lessons Learned from Collaborative Research in Africa Maria Kett, Mark T. Carew, John-Bosco Asiimwe, Richard Bwalya, Anderson Gitonga, Boakai A. Nyehn, Joyce Olenja, Leslie Swartz, Nora Groce DOI: 10.19088/1968-2019.106 ABSTRACT PDFONLINE ARTICLE Layered and Linking Research Partnerships: Learning from YOUR World Research in Ethiopia and Nepal Vicky Johnson, Anannia Admassu, Andrew Church, Jill Healey, Sujeeta Mathema DOI: 10.19088/1968-2019.107 ABSTRACT PDFONLINE ARTICLE Fundamental Challenges in Academic–Government Partnership in Conflict Research in the Pastoral Lowlands of Ethiopia Mercy Fekadu Mulugeta, Fana Gebresenbet, Yonas Tariku, Ekal Nettir DOI: 10.19088/1968-2019.108 ABSTRACT PDFONLINE ARTICLE Regional Research–Policy Partnerships for Health Equity and Inclusive Development: Reflections on Opportunities and Challenges from a Southern African Perspective [O] . Nicola Yeates, Themba Moeti, Mubita Luwabelwa 2019

机译：主页>所有内容> Vol 50，第1号（2019年）探索国际发展顾客的研究 - 政策伙伴关系：詹姆斯格拉巴拉斯和波雷琳上升2019年6月50卷第1卷这个问题旨在确定合作伙伴关系如何关注政策的生产。 - 繁殖的研究寻求实现社会影响并探索这些过程中的挑战。合作分析了跨度学术界，民间社会和政府，从基层到国家和全球层面。通过在研究人员和研究用户之间的相互作用的更广泛辩论中找到这些示例，旨在加强证据明智的决策，本出版物提供了通知这些资金，设计和开发研究的概念和实践。通过研究人员及其合作伙伴在民间社会和政策的角度来看，探讨了特色案例研究。它们主要从英国经济和社会研究委员会（ESRC）和国际发展部（DFID）战略伙伴部资助的各种研究项目组合中获取。与影响计划的合作，此IDS公告是研究组织，发展机构和捐助者致力于更好地利用证据和学习发展的所有人的重要阅读。探索研究 - 在国际发展中的研究 - 政策伙伴关系James Georgalakis，Pauline Rose Doi：10.19088 / 1968-2019.100 Abstract完整发行PDF前言戴安娜DALTON DOI：10.19088 / 1968-2019.102抽象PDFONLINE文章简介：确定国际发展中研究政策伙伴关系的质量 - 新的分析框架詹姆斯·乔治拉斯·罗琳·罗拉克斯：10.19088 / 1968-2019.103抽象Pdfonline文章通过公平和公平合作伙伴关系的原则重新思考研究影响凯特纽曼，Sowmyaa Bharadwaj，Jude Fransman Do：10.19088 / 1968-2019.104抽象Pdfonline文章途径影响：来自乌干达和印度Rachel Hinton，RONA Bronwin，Laura Bronwin的研究伙伴关系的见解：10.19088 / 1968-2019.105抽象的PDFonline文章探讨了学术界和残疾人士组织之间的伙伴关系：从非洲玛丽亚凯特的合作研究中吸取的经验教训。克鲁，约翰 - 博斯科阿斯蒂姆韦，理查德Bwalya，安德rson gitonga，Boakai A. Nyehn，Joyce Olenja，Leslie Swartz，Nora Groce Doi：10.19088 / 1968-2019.106 Abstract Pdfonline文章分层和链接研究合作伙伴关系：从您的世界研究中学习在埃塞俄比亚和尼泊尔Vicky Johnson，Anannia Admassu，安德鲁教堂的世界研究， JILL HEALELY，SUJETA MATHEMA DOI：10.19088 / 1968-2019.107抽象PDFONLINE文章在学术界政府伙伴关系中的基本挑战在冲突研究中埃塞俄比亚牧场的牧区牧场地区牧羊犬MULUGETA，宇瓦·塔利克（Ekal Nettir Doi：10.19088 / 1968-2019.108摘要PDFONLINE文章区域研究 - 健康股权和包容性发展的政策伙伴关系：关于南部非洲观点的机遇和挑战的思考

An environment for supporting the learning of abstract algebra

摘要

著录项

相似文献

相关主题

期刊订阅