1 / 26

Interaktive Mathematik- und Informatikgrundausbildung

Interaktive Mathematik- und Informatikgrundausbildung. www.in2math.de. Humboldt-Universität Berlin HTWK Saarland Universität Paderborn Universität des Saarlandes Universität Koblenz-Landau (Koordinator) Ulrich Furbach, Koblenz-Landau. Personalisierung

nyla
Download Presentation

Interaktive Mathematik- und Informatikgrundausbildung

An Image/Link below is provided (as is) to download presentation Download Policy: Content on the Website is provided to you AS IS for your information and personal use and may not be sold / licensed / shared on other websites without getting consent from its author. Content is provided to you AS IS for your information and personal use only. Download presentation by click this link. While downloading, if for some reason you are not able to download a presentation, the publisher may have deleted the file from their server. During download, if you can't get a presentation, the file might be deleted by the publisher.

E N D

Presentation Transcript

  1. Interaktive Mathematik- und Informatikgrundausbildung www.in2math.de Humboldt-Universität Berlin HTWK Saarland Universität Paderborn Universität des Saarlandes Universität Koblenz-Landau (Koordinator) Ulrich Furbach, Koblenz-Landau

  2. Personalisierung - Selektive Auswahl von Inhalten - Persistente Speicherung - Lernermodell 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, … Interaktive Mathematik- und Informatikgrundausbildung

  3. In2Math Portal aus Benutzersicht Ű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 Interaktive Mathematik- und Informatikgrundausbildung

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

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

  6. Portal – Global Index Suchergebnisse Interaktive Mathematik- und Informatikgrundausbildung

  7. Portal - Suchergebnisse Online Suche Suchergebnisse Interaktive Mathematik- und Informatikgrundausbildung

  8. Online Portal – Suchergebnis Analysis Interaktive Mathematik- und Informatikgrundausbildung

  9. Online Portal – Suchergebnis ActiveMath Interaktive Mathematik- und Informatikgrundausbildung

  10. ActiveMath:Statistik Interaktive Mathematik- und Informatikgrundausbildung

  11. Text Online Portal – Suchergebnis Logik Interaktive Mathematik- und Informatikgrundausbildung

  12. Logik - Text Interaktive Mathematik- und Informatikgrundausbildung

  13. Logik - Formeleditor Interaktive Mathematik- und Informatikgrundausbildung

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

  15. Logik - Markierungsalgorithmus Interaktive Mathematik- und Informatikgrundausbildung

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

  17. Interaktive Mathematik- und Informatikgrundausbildung

  18. PDF Living BookServer 'add formula' Reader-Module Request Handler 'store formula' System Architecture- Add Formula Add formula Formulas Tableaux Resolution Proofs Interaktive Mathematik- und Informatikgrundausbildung

  19. Wait... Living BookServer PDF Reader Document Builder 'done' LATEX LATEX template \tsdynamic{ } Template Filler Book Slices System Architecture- Add Formula (2) Cool ! Formulas Tableaux Resolution Proofs Interaktive Mathematik- und Informatikgrundausbildung

  20. Reader Document Builder Living BookServer LATEX template \tsdynamic{ } System Architecture- Compute Tableau MathWeb Compute Tableau Tableaux Truth Tables Resolution ... Internal LATEX External XML RPC Protein Template Filler Remote Otter Interaktive Mathematik- und Informatikgrundausbildung

  21. Weitere Aspekte Einsatz in der Lehre • Innerhalb der Teilprojekte • Űber Projektgrenzen hinweg (Abgabetool, MuPAD) Nachhaltigkeit • Kooperation mit Verlag • Portal CD kostenlos fűr Hochschulen • Bereitstellung und Wartung des Servers fűr ein Jahr gesichert ... Interaktive Mathematik- und Informatikgrundausbildung

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

  23. Interaktive Mathematik- und Informatikgrundausbildung

  24. Interaktive Mathematik- und Informatikgrundausbildung

  25. Interaktive Mathematik- und Informatikgrundausbildung

  26. Interaction - Formula Editing Interaktive Mathematik- und Informatikgrundausbildung

More Related