SlideShare una empresa de Scribd logo
1 de 56
Helping Students to Learn Mathematics Beyond LMS   Martin Homik Sakai Conference 2006, Vancouver Saarland University, Saarbrücken German Research Center for Artificial Intelligence, DFKI GmbH www. .org
Overview ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
What/Who is ActiveMath? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Artificial Intelligence in ActiveMath ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Pedagogical Goals ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Pedagogical Approaches ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Hands-On ActiveMath: Main Page by author/teacher created by learner
Book Page
Chinese Student
German Student
Spanish Student
“Internationalized” Pictures ,[object Object],[object Object],[object Object]
“ Internationalized”  Applets ,[object Object],[object Object],[object Object]
Exercise with different feedback 3. Correct answer 2. Correct, but not simplified. 1. False, but error identified
Exercise with Input Editor
Exercise with Input Editor
Exercise with hints Problem  statement
Exercise with hints Hint! Problem  statement
Exercise Student asks for another hint
Exercise Chooses wrong answer Repeat problem statement
Exercise Student asks for another hint
Exercise Answer is correct Continue with sub problem
Exercise Rest is correct
Interactive Concept Mapping Workspace Drag-and-drop Drag-and-drop Palette
Search derivation
Search
Search (continued)
Search (continued)
Function Plotter
Course Generation 1. Select area of interest
Course Generation 2. Give your book a title 3. Describe your book 4. Select book type
Course Generation 5. Select book topics
Course Generation Approve
Course Generation: Final Book
More Tools
Content Projects de 50 students,  200 pages  HTW Saarland Statistics  100 pages  70 students 50 pages  100 exercises 20 students 300 pages  30 pages 50 pages (exc)  250 students 100 pages ) 3x50 students 150 students… 450 pages LeActiveMath Calculus Universität Augsburg University of Glasgow de, en, es Optimization,  Operations Research Mary State University  ru, en 1st year Calculus U. Westminster, London en Algebra Interactive! TU/Eindhoven, DFKI en Analysis Individuell Uni Koblenz Uni Saarland de Matheführerschein FH Dortmund 3 schools de Fractions  Gesamtschule Bellevue de
Overview ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Technological Principles ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Knowledge Representation D S E X P T S S S isA D D T X E Definition E Symbol Example Theorem Proof Exercise X for for for for for D D for counter P for S S for depends on depends on Abstract Layer Content Layer Satellite Layer
Metadata X Learning context school, university, .. Difficulty easy, medium, difficult Abstractness abstract, neutral, concrete Typical learning time Field mathematics, biology, physics, .. Representation speech, images, numbers, … Competency think, argue, model, solve, .. Competency level knowledge, multistep, complex
Example OMDoc <definition id=&quot;def_diff&quot; for=&quot;deriv_symbols/diff&quot;> <metadata> <Title xml:lang=&quot;en&quot;>Definition of the derivative, resp., differential quotient</Title> <Title xml:lang=&quot;de&quot;>Definition der Ableitung bzw. des Differentialquotienten</Title> <extradata>…</extradata> </metadata> <CMP xml:lang=&quot;en&quot;> A <textref xref=&quot;functions_symbols/function&quot;>function</textref> $f$ is called <highlight type=&quot;important&quot;>differentiable at $x_0$</highlight> … </CMP> <CMP xml:lang=&quot;de&quot;> Eine <textref xref=&quot;functions_symbols/function&quot;>Funktion</textref> $f$ heißt <highlight type=&quot;important&quot;>differenzierbar an der Stelle $x_0$</highlight> … </CMP> <CMP xml:lang=&quot;x-all&quot;> $ap(diff(f),x_0)=lim(x_0,both_sides,lambda(x,(ap(f,x)-ap(f,x_0))/(x-x_0)))$. </CMP> </definition>
Example OMDoc Metadata <metadata> … <extradata> <relation type=&quot;domain_prerequisite&quot;> <ref xref=&quot;diffquot_symbols/diff_quot&quot;/> <ref xref=&quot;maplimits_symbols/maplimit&quot;/> </relation> <learningcontext value=&quot;secondary_education&quot;/> <learningcontext value=&quot;higher_education&quot;/> <learningcontext value=&quot;university_first_year&quot;/> <field value=&quot;all&quot;/> <typicallearningtime value=&quot;00:01:00&quot;/> <representation value=&quot;verbal&quot;/> <representation value=&quot;symbolic&quot;/> <abstractness value=&quot;abstract&quot;/> </extradata> </metadata>
Content Presentation Knowledge Base Knowledge Base Fetching Pre-processing Transformation Assembly Personalisation Compilation Presentation ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],View Templates
Math: XHTML+MathML, PDF
Course Generation User Model Knowledge Base Pedagogical Rules Course Generator
Course Generation (1) Goal concept ,[object Object],[object Object],[object Object],[object Object]
Course Generation (2) Goal concept ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
Course Generation (3) Goal concept ,[object Object],[object Object],[object Object]
iCMap Verification ,[object Object],[object Object],[object Object],[object Object],Knowledge Base <exercise ..> … </exercise>
MVC Architecture
Overview ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
ActiveMath and Sakai: Why?
ActiveMath and Sakai: Why ?
ActiveMath integration into Sakai: how ? ,[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object],[object Object]
[object Object],[object Object],[object Object],[object Object],[object Object],Conclusion
Thank you! Questions?

Más contenido relacionado

La actualidad más candente

Introduction to Machine Learning.
Introduction to Machine Learning.Introduction to Machine Learning.
Introduction to Machine Learning.
butest
 
An introduction to Machine Learning
An introduction to Machine LearningAn introduction to Machine Learning
An introduction to Machine Learning
butest
 
3_learning.ppt
3_learning.ppt3_learning.ppt
3_learning.ppt
butest
 
Introduction to Machine Learning
Introduction to Machine LearningIntroduction to Machine Learning
Introduction to Machine Learning
Lior Rokach
 

La actualidad más candente (20)

Lecture 2 Basic Concepts in Machine Learning for Language Technology
Lecture 2 Basic Concepts in Machine Learning for Language TechnologyLecture 2 Basic Concepts in Machine Learning for Language Technology
Lecture 2 Basic Concepts in Machine Learning for Language Technology
 
Machine learning Lecture 1
Machine learning Lecture 1Machine learning Lecture 1
Machine learning Lecture 1
 
Assistive Technology
Assistive TechnologyAssistive Technology
Assistive Technology
 
Multimodal Learning Analytics
Multimodal Learning AnalyticsMultimodal Learning Analytics
Multimodal Learning Analytics
 
Introduction to Machine Learning.
Introduction to Machine Learning.Introduction to Machine Learning.
Introduction to Machine Learning.
 
Lecture 3: Basic Concepts of Machine Learning - Induction & Evaluation
Lecture 3: Basic Concepts of Machine Learning - Induction & EvaluationLecture 3: Basic Concepts of Machine Learning - Induction & Evaluation
Lecture 3: Basic Concepts of Machine Learning - Induction & Evaluation
 
An introduction to Machine Learning
An introduction to Machine LearningAn introduction to Machine Learning
An introduction to Machine Learning
 
Btsdsb2018
Btsdsb2018Btsdsb2018
Btsdsb2018
 
Semi supervised learning machine learning made simple
Semi supervised learning  machine learning made simpleSemi supervised learning  machine learning made simple
Semi supervised learning machine learning made simple
 
Practical machine learning - Part 1
Practical machine learning - Part 1Practical machine learning - Part 1
Practical machine learning - Part 1
 
Qualitative Data Analysis using NVivo10 - A workshop for facilitators
Qualitative Data Analysis using NVivo10 - A workshop for facilitatorsQualitative Data Analysis using NVivo10 - A workshop for facilitators
Qualitative Data Analysis using NVivo10 - A workshop for facilitators
 
Non-parametric Subject Prediction
Non-parametric Subject PredictionNon-parametric Subject Prediction
Non-parametric Subject Prediction
 
Lecture 2: Preliminaries (Understanding and Preprocessing data)
Lecture 2: Preliminaries (Understanding and Preprocessing data)Lecture 2: Preliminaries (Understanding and Preprocessing data)
Lecture 2: Preliminaries (Understanding and Preprocessing data)
 
3_learning.ppt
3_learning.ppt3_learning.ppt
3_learning.ppt
 
Teaching Object Oriented Programming Courses by Sandeep K Singh JIIT,Noida
Teaching Object Oriented Programming Courses by Sandeep K Singh JIIT,NoidaTeaching Object Oriented Programming Courses by Sandeep K Singh JIIT,Noida
Teaching Object Oriented Programming Courses by Sandeep K Singh JIIT,Noida
 
Xiangen Hu - WESST - AutoTutor, an implementation of Conversation-Based Intel...
Xiangen Hu - WESST - AutoTutor, an implementation of Conversation-Based Intel...Xiangen Hu - WESST - AutoTutor, an implementation of Conversation-Based Intel...
Xiangen Hu - WESST - AutoTutor, an implementation of Conversation-Based Intel...
 
Sementic nets
Sementic netsSementic nets
Sementic nets
 
Machine Learning Unit 1 Semester 3 MSc IT Part 2 Mumbai University
Machine Learning Unit 1 Semester 3  MSc IT Part 2 Mumbai UniversityMachine Learning Unit 1 Semester 3  MSc IT Part 2 Mumbai University
Machine Learning Unit 1 Semester 3 MSc IT Part 2 Mumbai University
 
Introduction to Machine Learning
Introduction to Machine LearningIntroduction to Machine Learning
Introduction to Machine Learning
 
Machine Learning
Machine LearningMachine Learning
Machine Learning
 

Destacado (9)

Funcions Del Mestre
Funcions Del MestreFuncions Del Mestre
Funcions Del Mestre
 
Modulo Doris
Modulo DorisModulo Doris
Modulo Doris
 
Modulo Instruccional Cibernetica 3
Modulo Instruccional Cibernetica 3Modulo Instruccional Cibernetica 3
Modulo Instruccional Cibernetica 3
 
You Are Always In My Mind
You Are Always In My MindYou Are Always In My Mind
You Are Always In My Mind
 
Liderazgo Y Estrategia 2
Liderazgo Y Estrategia 2Liderazgo Y Estrategia 2
Liderazgo Y Estrategia 2
 
Naamani tervenemise lugu
Naamani tervenemise luguNaamani tervenemise lugu
Naamani tervenemise lugu
 
Themes2007
Themes2007Themes2007
Themes2007
 
Candidatura Joaquin Jimenez
Candidatura   Joaquin JimenezCandidatura   Joaquin Jimenez
Candidatura Joaquin Jimenez
 
Modulo Instruccional
Modulo InstruccionalModulo Instruccional
Modulo Instruccional
 

Similar a Helping Students to Learn Matehmatics Beyond LMS

MLlecture1.ppt
MLlecture1.pptMLlecture1.ppt
MLlecture1.ppt
butest
 
JISC LADIE project Learning Design In Education
JISC LADIE project Learning Design In EducationJISC LADIE project Learning Design In Education
JISC LADIE project Learning Design In Education
grainne
 
Dynamic Question Answer Generator An Enhanced Approach to Question Generation
Dynamic Question Answer Generator An Enhanced Approach to Question GenerationDynamic Question Answer Generator An Enhanced Approach to Question Generation
Dynamic Question Answer Generator An Enhanced Approach to Question Generation
ijtsrd
 
1.2 Motivating Challenges As mentioned earlier, traditional data
1.2 Motivating Challenges As mentioned earlier, traditional data1.2 Motivating Challenges As mentioned earlier, traditional data
1.2 Motivating Challenges As mentioned earlier, traditional data
SantosConleyha
 
Culp webquest
Culp webquestCulp webquest
Culp webquest
cc86
 
Week 10 Overview
Week 10 OverviewWeek 10 Overview
Week 10 Overview
Amy G.
 
The Valladolid Presentation - Nov, 16, 2011
The Valladolid Presentation - Nov, 16, 2011The Valladolid Presentation - Nov, 16, 2011
The Valladolid Presentation - Nov, 16, 2011
sdemetri
 
Word Clouds and Tag Cloud for Learning
Word Clouds and Tag Cloud for LearningWord Clouds and Tag Cloud for Learning
Word Clouds and Tag Cloud for Learning
Damian T. Gordon
 

Similar a Helping Students to Learn Matehmatics Beyond LMS (20)

Abis04
Abis04Abis04
Abis04
 
ePortfolios in ActiveMath
ePortfolios in ActiveMathePortfolios in ActiveMath
ePortfolios in ActiveMath
 
Data Structure Syllabus.pdf
Data Structure Syllabus.pdfData Structure Syllabus.pdf
Data Structure Syllabus.pdf
 
MLlecture1.ppt
MLlecture1.pptMLlecture1.ppt
MLlecture1.ppt
 
Supporting Flexible Competency Frameworks
Supporting Flexible Competency FrameworksSupporting Flexible Competency Frameworks
Supporting Flexible Competency Frameworks
 
JISC LADIE project Learning Design In Education
JISC LADIE project Learning Design In EducationJISC LADIE project Learning Design In Education
JISC LADIE project Learning Design In Education
 
01 Handout Version
01   Handout Version01   Handout Version
01 Handout Version
 
Dynamic Question Answer Generator An Enhanced Approach to Question Generation
Dynamic Question Answer Generator An Enhanced Approach to Question GenerationDynamic Question Answer Generator An Enhanced Approach to Question Generation
Dynamic Question Answer Generator An Enhanced Approach to Question Generation
 
Common Core Gamified: Technology Supported CCSS Mathematics
Common Core Gamified: Technology Supported CCSS Mathematics Common Core Gamified: Technology Supported CCSS Mathematics
Common Core Gamified: Technology Supported CCSS Mathematics
 
Building Better
Building  BetterBuilding  Better
Building Better
 
Learning Outcomes & Learner Achievements Management in Higher Ed
Learning Outcomes & Learner Achievements Management in Higher EdLearning Outcomes & Learner Achievements Management in Higher Ed
Learning Outcomes & Learner Achievements Management in Higher Ed
 
1.2 Motivating Challenges As mentioned earlier, traditional data
1.2 Motivating Challenges As mentioned earlier, traditional data1.2 Motivating Challenges As mentioned earlier, traditional data
1.2 Motivating Challenges As mentioned earlier, traditional data
 
Cognitive Tools
Cognitive ToolsCognitive Tools
Cognitive Tools
 
Culp webquest
Culp webquestCulp webquest
Culp webquest
 
AP Computer Science Test Prep - Part 2 - Object Oriented Programming
AP Computer Science Test Prep - Part 2 - Object Oriented ProgrammingAP Computer Science Test Prep - Part 2 - Object Oriented Programming
AP Computer Science Test Prep - Part 2 - Object Oriented Programming
 
Learning Styles and Learning Objects for Higher Education Teaching
Learning Styles and Learning Objects for Higher Education TeachingLearning Styles and Learning Objects for Higher Education Teaching
Learning Styles and Learning Objects for Higher Education Teaching
 
Week 10 Overview
Week 10 OverviewWeek 10 Overview
Week 10 Overview
 
The Valladolid Presentation - Nov, 16, 2011
The Valladolid Presentation - Nov, 16, 2011The Valladolid Presentation - Nov, 16, 2011
The Valladolid Presentation - Nov, 16, 2011
 
Oer and stem short term fellows residential course april 2011 steve swithenby
Oer and stem short term fellows residential course april 2011   steve swithenbyOer and stem short term fellows residential course april 2011   steve swithenby
Oer and stem short term fellows residential course april 2011 steve swithenby
 
Word Clouds and Tag Cloud for Learning
Word Clouds and Tag Cloud for LearningWord Clouds and Tag Cloud for Learning
Word Clouds and Tag Cloud for Learning
 

Más de Martin Homik (8)

Reflection In Web2.0 Style
Reflection In Web2.0 StyleReflection In Web2.0 Style
Reflection In Web2.0 Style
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow Optimizer
 
Woop - Workflow Optimizer
Woop - Workflow OptimizerWoop - Workflow Optimizer
Woop - Workflow Optimizer
 
Intelligent Tutorial Systems
Intelligent Tutorial SystemsIntelligent Tutorial Systems
Intelligent Tutorial Systems
 
e-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in Deutschlande-portfolio: Der Stand in Deutschland
e-portfolio: Der Stand in Deutschland
 
Using blogs for learning logs
Using blogs for learning logsUsing blogs for learning logs
Using blogs for learning logs
 
Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)Interactive Concept Mapping in ActiveMath (iCMap)
Interactive Concept Mapping in ActiveMath (iCMap)
 
Designing a Proof GUI for Non-Experts
Designing a Proof GUI for Non-ExpertsDesigning a Proof GUI for Non-Experts
Designing a Proof GUI for Non-Experts
 

Último

Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native Applications
WSO2
 

Último (20)

Architecting Cloud Native Applications
Architecting Cloud Native ApplicationsArchitecting Cloud Native Applications
Architecting Cloud Native Applications
 
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
Biography Of Angeliki Cooney | Senior Vice President Life Sciences | Albany, ...
 
AWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of TerraformAWS Community Day CPH - Three problems of Terraform
AWS Community Day CPH - Three problems of Terraform
 
Exploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone ProcessorsExploring the Future Potential of AI-Enabled Smartphone Processors
Exploring the Future Potential of AI-Enabled Smartphone Processors
 
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data DiscoveryTrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
TrustArc Webinar - Unlock the Power of AI-Driven Data Discovery
 
Ransomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdfRansomware_Q4_2023. The report. [EN].pdf
Ransomware_Q4_2023. The report. [EN].pdf
 
Artificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : UncertaintyArtificial Intelligence Chap.5 : Uncertainty
Artificial Intelligence Chap.5 : Uncertainty
 
ICT role in 21st century education and its challenges
ICT role in 21st century education and its challengesICT role in 21st century education and its challenges
ICT role in 21st century education and its challenges
 
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, AdobeApidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
Apidays New York 2024 - Scaling API-first by Ian Reasor and Radu Cotescu, Adobe
 
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
Web Form Automation for Bonterra Impact Management (fka Social Solutions Apri...
 
Boost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdfBoost Fertility New Invention Ups Success Rates.pdf
Boost Fertility New Invention Ups Success Rates.pdf
 
Manulife - Insurer Transformation Award 2024
Manulife - Insurer Transformation Award 2024Manulife - Insurer Transformation Award 2024
Manulife - Insurer Transformation Award 2024
 
Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024Axa Assurance Maroc - Insurer Innovation Award 2024
Axa Assurance Maroc - Insurer Innovation Award 2024
 
CNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In PakistanCNIC Information System with Pakdata Cf In Pakistan
CNIC Information System with Pakdata Cf In Pakistan
 
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdfRising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
Rising Above_ Dubai Floods and the Fortitude of Dubai International Airport.pdf
 
[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf[BuildWithAI] Introduction to Gemini.pdf
[BuildWithAI] Introduction to Gemini.pdf
 
MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024MINDCTI Revenue Release Quarter One 2024
MINDCTI Revenue Release Quarter One 2024
 
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
Navigating the Deluge_ Dubai Floods and the Resilience of Dubai International...
 
FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024FWD Group - Insurer Innovation Award 2024
FWD Group - Insurer Innovation Award 2024
 
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
Apidays New York 2024 - APIs in 2030: The Risk of Technological Sleepwalk by ...
 

Helping Students to Learn Matehmatics Beyond LMS

  • 1. Helping Students to Learn Mathematics Beyond LMS Martin Homik Sakai Conference 2006, Vancouver Saarland University, Saarbrücken German Research Center for Artificial Intelligence, DFKI GmbH www. .org
  • 2.
  • 3.
  • 4.
  • 5.
  • 6.
  • 7. Hands-On ActiveMath: Main Page by author/teacher created by learner
  • 12.
  • 13.
  • 14. Exercise with different feedback 3. Correct answer 2. Correct, but not simplified. 1. False, but error identified
  • 17. Exercise with hints Problem statement
  • 18. Exercise with hints Hint! Problem statement
  • 19. Exercise Student asks for another hint
  • 20. Exercise Chooses wrong answer Repeat problem statement
  • 21. Exercise Student asks for another hint
  • 22. Exercise Answer is correct Continue with sub problem
  • 23. Exercise Rest is correct
  • 24. Interactive Concept Mapping Workspace Drag-and-drop Drag-and-drop Palette
  • 30. Course Generation 1. Select area of interest
  • 31. Course Generation 2. Give your book a title 3. Describe your book 4. Select book type
  • 32. Course Generation 5. Select book topics
  • 36. Content Projects de 50 students, 200 pages HTW Saarland Statistics 100 pages 70 students 50 pages 100 exercises 20 students 300 pages 30 pages 50 pages (exc) 250 students 100 pages ) 3x50 students 150 students… 450 pages LeActiveMath Calculus Universität Augsburg University of Glasgow de, en, es Optimization, Operations Research Mary State University ru, en 1st year Calculus U. Westminster, London en Algebra Interactive! TU/Eindhoven, DFKI en Analysis Individuell Uni Koblenz Uni Saarland de Matheführerschein FH Dortmund 3 schools de Fractions Gesamtschule Bellevue de
  • 37.
  • 38.
  • 39. Knowledge Representation D S E X P T S S S isA D D T X E Definition E Symbol Example Theorem Proof Exercise X for for for for for D D for counter P for S S for depends on depends on Abstract Layer Content Layer Satellite Layer
  • 40. Metadata X Learning context school, university, .. Difficulty easy, medium, difficult Abstractness abstract, neutral, concrete Typical learning time Field mathematics, biology, physics, .. Representation speech, images, numbers, … Competency think, argue, model, solve, .. Competency level knowledge, multistep, complex
  • 41. Example OMDoc <definition id=&quot;def_diff&quot; for=&quot;deriv_symbols/diff&quot;> <metadata> <Title xml:lang=&quot;en&quot;>Definition of the derivative, resp., differential quotient</Title> <Title xml:lang=&quot;de&quot;>Definition der Ableitung bzw. des Differentialquotienten</Title> <extradata>…</extradata> </metadata> <CMP xml:lang=&quot;en&quot;> A <textref xref=&quot;functions_symbols/function&quot;>function</textref> $f$ is called <highlight type=&quot;important&quot;>differentiable at $x_0$</highlight> … </CMP> <CMP xml:lang=&quot;de&quot;> Eine <textref xref=&quot;functions_symbols/function&quot;>Funktion</textref> $f$ heißt <highlight type=&quot;important&quot;>differenzierbar an der Stelle $x_0$</highlight> … </CMP> <CMP xml:lang=&quot;x-all&quot;> $ap(diff(f),x_0)=lim(x_0,both_sides,lambda(x,(ap(f,x)-ap(f,x_0))/(x-x_0)))$. </CMP> </definition>
  • 42. Example OMDoc Metadata <metadata> … <extradata> <relation type=&quot;domain_prerequisite&quot;> <ref xref=&quot;diffquot_symbols/diff_quot&quot;/> <ref xref=&quot;maplimits_symbols/maplimit&quot;/> </relation> <learningcontext value=&quot;secondary_education&quot;/> <learningcontext value=&quot;higher_education&quot;/> <learningcontext value=&quot;university_first_year&quot;/> <field value=&quot;all&quot;/> <typicallearningtime value=&quot;00:01:00&quot;/> <representation value=&quot;verbal&quot;/> <representation value=&quot;symbolic&quot;/> <abstractness value=&quot;abstract&quot;/> </extradata> </metadata>
  • 43.
  • 45. Course Generation User Model Knowledge Base Pedagogical Rules Course Generator
  • 46.
  • 47.
  • 48.
  • 49.
  • 51.
  • 54.
  • 55.

Notas del editor

  1. Present ActiveMath … comes with mathematical content … and a set of tools and services But it lacks sophisticated LMS functionality