Embed Size (px)
Citation preview
Interaktive Mathematik- und Informatikgrundausbildung
Humboldt-Universität BerlinHTWK SaarlandUniversität PaderbornUniversität des SaarlandesUniversität Koblenz-Landau (Koordinator)
Ulrich Furbach, Koblenz-Landau
www.in2math.de
Interaktive Mathematik- und Informatikgrundausbildung2
Das In2Math Projekt
Ziel
Entwicklung und Einsatz personalisierter und interaktiverLehrmaterialien für individuelles und exploratives Lernenfűr die Mathematik- und Informatikgrundausbildung
Lehrmaterialien und Systeme
Statistik – ActiveMath (HTW, U Saarbrücken)Mathematik - Abgabetool (U Paderborn)Logik - Living Book (U Koblenz-Landau)Lineare Algebra – Singular Leitfaden (HU Berlin)
Interaktionen
Mathematik: Computeralgebrasysteme (MuPAD)Logik: Theorembeweiser, …
Personalisierung - Selektive Auswahl von Inhalten - Persistente Speicherung - Lernermodell
Interaktive Mathematik- und Informatikgrundausbildung3
Űbersicht
• Uniformer Zugang zu Systemen und Lehrinhalten
• Logik, Statistik, Analysis (Koblenz, HTW Saarland)
• Offline Version (CD) und Online Version
In2Math Portal
Technische Aspekte von Living Book
• Slicing Book
• Living Book / Interaktion
Weitere Aspekte
Technik, Einsatz, Nachhaltigkeit
In2Math Portal aus Benutzersicht
Interaktive Mathematik- und Informatikgrundausbildung4
Offline Portal - Hauptseite Online Versionmit Interaktionen
www.in2math.de
Bűcher ActiveMath:Statistik Analysis Individuell Logik fűr Informatiker
Interaktive Mathematik- und Informatikgrundausbildung5
Portal – Logik fűr Informatiker
Statische InhaltePDF/Palm/PocketPC
Suche – Global Index
Interaktive Mathematik- und Informatikgrundausbildung6
Portal – Global Index
Suchergebnisse
Interaktive Mathematik- und Informatikgrundausbildung7
Portal - Suchergebnisse
Online Suche
Suchergebnisse
Interaktive Mathematik- und Informatikgrundausbildung8
Online Portal – Suchergebnis Analysis
Interaktive Mathematik- und Informatikgrundausbildung9
Online Portal – Suchergebnis ActiveMath
Interaktive Mathematik- und Informatikgrundausbildung10
ActiveMath:Statistik
Interaktive Mathematik- und Informatikgrundausbildung11
Online Portal – Suchergebnis Logik
Text
Interaktive Mathematik- und Informatikgrundausbildung12
Logik - Text
Interaktive Mathematik- und Informatikgrundausbildung13
Logik - Formeleditor
Interaktive Mathematik- und Informatikgrundausbildung14
Logik – Zurűck zum Text
Benutzereingaben in Text integriert
Interaktion
Interaktive Mathematik- und Informatikgrundausbildung15
Logik - Markierungsalgorithmus
Interaktive Mathematik- und Informatikgrundausbildung
IST - TRIAL-SOLUTION – based on Slicing Book Technology
Knowledge base
Discourse model
Spin-off des DFG Schwerpunkt ‚Deduktion‘
Interaktive Mathematik- und Informatikgrundausbildung17
Interaktive Mathematik- und Informatikgrundausbildung18
System Architecture- Add Formula
Reader-ModuleRequest Handler
Add formula
Living BookServer
FormulasTableauxResolution Proofs
'store formula'
'add formula'
Interaktive Mathematik- und Informatikgrundausbildung19
System Architecture- Add Formula (2)
Wait...
Living BookServer
FormulasTableauxResolution Proofs
ReaderDocument Builder
BookSlices
LAT
EX
tem
plat
e\tsdynamic{ }
TemplateFiller
Cool !
LATEX
'done'
Interaktive Mathematik- und Informatikgrundausbildung20
System Architecture- Compute Tableau
Compute Tableau
Living BookServer
ReaderDocument Builder
LAT
EX
tem
plat
e\
tsdynamic{ }
TemplateFiller
TableauxTruth TablesResolution
...
Protein
Otter
Rem
ote
Ext
erna
l
Inte
rnal
XM
L R
PCLAT
EX
MathWeb
Interaktive Mathematik- und Informatikgrundausbildung21
Weitere Aspekte
Einsatz in der Lehre
Nachhaltigkeit
• Innerhalb der Teilprojekte
• Űber Projektgrenzen hinweg (Abgabetool, MuPAD)
• Kooperation mit Verlag
• Portal CD kostenlos fűr Hochschulen
• Bereitstellung und Wartung des Servers fűr ein Jahr gesichert ...
Interaktive Mathematik- und Informatikgrundausbildung22
Probleme
• Server-Wartung
• Distribution
• Wartung der interaktiven Systeme
• Lizenzen!!!
• Einbettung in eLearning-Umgebung
• Autorenwerkzeuge
Interaktive Mathematik- und Informatikgrundausbildung23
Interaktive Mathematik- und Informatikgrundausbildung24
Interaktive Mathematik- und Informatikgrundausbildung25
Interaktive Mathematik- und Informatikgrundausbildung26
Interaction - Formula Editing
