Interaktive Mathematik- und Informatikgrundausbildung Humboldt-Universität Berlin HTWK Saarland Universität Paderborn Universität des Saarlandes Universität.

Präsentation zum Thema: "Interaktive Mathematik- und Informatikgrundausbildung Humboldt-Universität Berlin HTWK Saarland Universität Paderborn Universität des Saarlandes Universität."—  Präsentation transkript:

1 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 www.in2math.de

2 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

3 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

4 Interaktive Mathematik- und Informatikgrundausbildung4 Offline Portal - Hauptseite Online Version mit Interaktionen www.in2math.de Bűcher ActiveMath:Statistik Analysis Individuell Logik fűr Informatiker

5 Interaktive Mathematik- und Informatikgrundausbildung5 Portal – Logik fűr Informatiker Statische Inhalte PDF/Palm/PocketPC Suche – Global Index

6 Interaktive Mathematik- und Informatikgrundausbildung6 Portal – Global Index Suchergebnisse

7 Interaktive Mathematik- und Informatikgrundausbildung7 Portal - Suchergebnisse Online Suche Suchergebnisse

8 Interaktive Mathematik- und Informatikgrundausbildung8 Online Portal – Suchergebnis Analysis

9 Interaktive Mathematik- und Informatikgrundausbildung9 Online Portal – Suchergebnis ActiveMath

10 Interaktive Mathematik- und Informatikgrundausbildung10 ActiveMath:Statistik

11 Interaktive Mathematik- und Informatikgrundausbildung11 Online Portal – Suchergebnis Logik Text

12 Interaktive Mathematik- und Informatikgrundausbildung12 Logik - Text

13 Interaktive Mathematik- und Informatikgrundausbildung13 Logik - Formeleditor

14 Interaktive Mathematik- und Informatikgrundausbildung14 Logik – Zurűck zum Text Benutzereingaben in Text integriert Interaktion

15 Interaktive Mathematik- und Informatikgrundausbildung15 Logik - Markierungsalgorithmus

16 IST - TRIAL-SOLUTION – based on Slicing Book Technology Knowledge base Discourse model Spin-off des DFG Schwerpunkt Deduktion

17 Interaktive Mathematik- und Informatikgrundausbildung17

18 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

19 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

20 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

21 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...

22 Interaktive Mathematik- und Informatikgrundausbildung22 Probleme Server-Wartung Distribution Wartung der interaktiven Systeme Lizenzen!!! Einbettung in eLearning-Umgebung Autorenwerkzeuge

23 Interaktive Mathematik- und Informatikgrundausbildung23

24 Interaktive Mathematik- und Informatikgrundausbildung24

25 Interaktive Mathematik- und Informatikgrundausbildung25

26 Interaktive Mathematik- und Informatikgrundausbildung26 Interaction - Formula Editing