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

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'

PDF

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'

PDF

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