Interaktive Mathematik- und Informatikgrundausbildung Humboldt-Universität Berlin HTWK Saarland Universität Paderborn Universität des Saarlandes Universität Koblenz-Landau (Koordinator) Ulrich Furbach, Koblenz-Landau
Interaktive Mathematik- und Informatikgrundausbildung2 Das In2Math Projekt Ziel Entwicklung und Einsatz personalisierter und interaktiver Lehrmaterialien für individuelles und exploratives Lernen fű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 Version mit Interaktionen Bűcher ActiveMath:Statistik Analysis Individuell Logik fűr Informatiker
Interaktive Mathematik- und Informatikgrundausbildung5 Portal – Logik fűr Informatiker Statische Inhalte PDF/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
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-Module Request Handler Add formula Living Book Server Formulas Tableaux Resolution Proofs 'store formula' 'add formula' PDF
Interaktive Mathematik- und Informatikgrundausbildung19 System Architecture - Add Formula (2) Wait... Living Book Server Formulas Tableaux Resolution Proofs Reader Document Builder Book Slices L A T E X template \tsdynamic{ } Template Filler Cool ! LATEXLATEX 'done ' PDF
Interaktive Mathematik- und Informatikgrundausbildung20 System Architecture - Compute Tableau Compute Tableau Living Book Server Reader Document Builder L A T E X template \tsdynamic{ } Template Filler Tableaux Truth Tables Resolution... Protein Otter Remote External Internal XML RPC LATEXLATEX 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