Core IT

eMC

oreITeM

Core IT

eMC

oreITeM

• -Milestones-Milestones

• Erkenntnisse für SVCErkenntnisse für SVC

• NachhaltigkeitNachhaltigkeit

Core IT

eMC

oreITeM

• -Milestones-Milestones

• Erkenntnisse für SVCErkenntnisse für SVC

• NachhaltigkeitNachhaltigkeit

Core IT

eMC

oreITeM

Core IT

eMC

oreITeM

• Gérard Milmeister:Gérard Milmeister:XML/MathML und Browser XML/MathML und Browser

• Jody Weissmann:Jody Weissmann:StoA der OLAT-EinbindungStoA der OLAT-Einbindung

Core IT

eMC

oreITeM

• Das ProblemDas Problem• Das BuchDas Buch• Die Online-VersionDie Online-Version• Airport-ModuleAirport-Module• Blended VariantenBlended Varianten• TrackingTracking• ZusammenfassungZusammenfassung• Demo von StoADemo von StoA

Core IT

eMC

oreITeM

• Das ProblemDas Problem• Das BuchDas Buch• Die Online-VersionDie Online-Version• Airport-ModuleAirport-Module• Blended VariantenBlended Varianten• TrackingTracking• ZusammenfassungZusammenfassung• Demo von StoADemo von StoA

Core IT

eMC

oreITeM

• Mathematik ist eine Mathematik ist eine zusammenhängende zusammenhängende logische Landschaftlogische Landschaft

• Modularisierung kann nurModularisierung kann nurvorgetäuscht werdenvorgetäuscht werden

• Mathematik lernen ist wie Mathematik lernen ist wie Klavier spielen lernen, by doing...Klavier spielen lernen, by doing...

• Es gibt für Informatiker nurEs gibt für Informatiker nurwenige Quellen, meist pragmatisch...wenige Quellen, meist pragmatisch...

• Es gibt keine umfassende konziseEs gibt keine umfassende konziseDarstellung „Bourbakino“Darstellung „Bourbakino“

Core IT

eMC

oreITeM

• Das ProblemDas Problem• Das BuchDas Buch• Die Online-VersionDie Online-Version• Airport-ModuleAirport-Module• Blended VariantenBlended Varianten• TrackingTracking• ZusammenfassungZusammenfassung• Demo von StoADemo von StoA

Core IT

eMC

oreITeM

Comprehensive Mathematics for Computer Scientists, Vols. I, II; 700pp., Springer, Heidelberg et al. 2004.

Comprehensive Mathematics for Computer Scientists, Vols. I, II; 700pp., Springer, Heidelberg et al. 2004.

Core IT

eMC

oreITeM

Vol 2.

Vol 1.Sets + NumbersSets + Numbers

Floating Point ArithmeticsFloating Point Arithmetics

Graphs + AlgebraGraphs + Algebra

Coding Theory + CryptographyCoding Theory + Cryptography

Matrixes + Linear GeometryMatrixes + Linear Geometry

Topology + DifferentiationTopology + Differentiation

IntegrationIntegration

Numerics of ODEsNumerics of ODEs

SplinesSplines

Neural NetworksNeural Networks

FourierFourier

CategoriesCategories

FractalsFractals

Logic + MachinesLogic + Machines

Probability TheoryProbability Theory Lambda CalculusLambda Calculus

ODEsODEs

FixpointsFixpoints

WaveletsWavelets

Core IT

eMC

oreITeM

• Das ProblemDas Problem• Das BuchDas Buch• Die Online-VersionDie Online-Version• Airport-ModuleAirport-Module• Blended VariantenBlended Varianten• TrackingTracking• ZusammenfassungZusammenfassung• Demo von StoADemo von StoA

Core IT

eMC

oreITeM

Online-Version MathML-basiert.Online-Version MathML-basiert.

http://math.ifi.unizh.chhttp://math.ifi.unizh.ch

Core IT

eMC

oreITeM

• Das ProblemDas Problem• Das BuchDas Buch• Die Online-VersionDie Online-Version• Airport-ModuleAirport-Module• Blended VariantenBlended Varianten• TrackingTracking• ZusammenfassungZusammenfassung• Demo von StoADemo von StoA

Core IT

eMC

oreITeM

TransitTransit

PASSPASSPPrerequisitesrerequisitesAApplicationspplicationsSSubjectubjectSSymbolsymbols

FACEFACEFFactsactsAApplicationspplicationsCConceptsonceptsEExpressionsxpressions

Core IT

eMC

oreITeM

Vol 2.

Vol 1.Sets + NumbersSets + Numbers

Floating Point ArithmeticsFloating Point Arithmetics

Graphs + AlgebraGraphs + Algebra

Coding Theory + CryptographyCoding Theory + Cryptography

Matrixes + Linear GeometryMatrixes + Linear Geometry

Topology + DifferentiationTopology + Differentiation

IntegrationIntegration

Numerics of ODEsNumerics of ODEs

SplinesSplines

Neural NetworksNeural Networks

FourierFourier

CategoriesCategories

FractalsFractals

Logic + MachinesLogic + Machines

Probability TheoryProbability Theory Lambda CalculusLambda Calculus

ODEsODEs

FixpointsFixpoints

WaveletsWavelets

1. Sets + Relations1. Sets + Relations1. Sets + Relations1. Sets + Relations

3. Z,Q,R,C + Floating Point Arithmetics3. Z,Q,R,C + Floating Point Arithmetics3. Z,Q,R,C + Floating Point Arithmetics3. Z,Q,R,C + Floating Point Arithmetics

14. 14. Fourier + Fourier + WaveletsWavelets

14. 14. Fourier + Fourier + WaveletsWavelets

13. ODEs + 13. ODEs +

Numerics Numerics of ODEs of ODEs

13. ODEs + 13. ODEs +

Numerics Numerics of ODEs of ODEs

8. Logic + 8. Logic + + Machines + Machines + Lambda + Lambda Calculus Calculus

8. Logic + 8. Logic + + Machines + Machines + Lambda + Lambda Calculus Calculus

7. Linear Geometry7. Linear Geometry7. Linear Geometry7. Linear Geometry4. Graphs 4. Graphs + Categories+ Categories

4. Graphs 4. Graphs + Categories+ Categories

11. Fractals11. Fractals11. Fractals11. Fractals

15. Neural Networks15. Neural Networks15. Neural Networks15. Neural Networks

12. Integration12. Integration12. Integration12. Integration

16. Probability Theory16. Probability Theory16. Probability Theory16. Probability Theory

10. Differentiation II10. Differentiation II+ Splines+ Splines

10. Differentiation II10. Differentiation II+ Splines+ Splines

9. Topology 9. Topology + Differentiation I+ Differentiation I+ Fixpoints+ Fixpoints

9. Topology 9. Topology + Differentiation I+ Differentiation I+ Fixpoints+ Fixpoints

5. Algebra + Matrixes 5. Algebra + Matrixes

5. Algebra + Matrixes 5. Algebra + Matrixes

6. Coding Theory + 6. Coding Theory + CryptographyCryptography

6. Coding Theory + 6. Coding Theory + CryptographyCryptography

2. N + Recursion2. N + Recursion2. N + Recursion2. N + Recursion

Core IT

eMC

oreITeM

• Das ProblemDas Problem• Das BuchDas Buch• Die Online-VersionDie Online-Version• Airport-ModuleAirport-Module• Blended VariantenBlended Varianten• TrackingTracking• ZusammenfassungZusammenfassung• Demo von StoADemo von StoA

Core IT

eMC

oreITeM

SelbststudiumSelbststudium

FULLFULL

SHORTSHORT

MODULMODUL

PASSPASS

FACEFACE

TransitTransit

SlidesSlides

Core IT

eMC

oreITeM

• Das ProblemDas Problem• Das BuchDas Buch• Die Online-VersionDie Online-Version• Airport-ModuleAirport-Module• Blended VariantenBlended Varianten• TrackingTracking• ZusammenfassungZusammenfassung• Demo von StoADemo von StoA

Core IT

eMC

oreITeM

Standard ModuleHomeHome

Co re IT

eMC

or eITe M

ModulModul

TrackTrack

Core IT

eMC

oreITeM

• Das ProblemDas Problem• Das BuchDas Buch• Die Online-VersionDie Online-Version• Airport-ModuleAirport-Module• Blended VariantenBlended Varianten• TrackingTracking• ZusammenfassungZusammenfassung• Demo von StoADemo von StoA

Core IT

eMC

oreITeM MODULEMODULE

FULLFULL SHORTSHORT

TRA

CK

S

TRA

CK

S

Univ. BaselUniv. Basel

ETHZETHZ

Univ. FribourgUniv. Fribourg

Univ. ZürichUniv. Zürich

IRCAM ParisIRCAM Paris

Univ. OsnabrückUniv. Osnabrück

ONLINE-ONLINE-BUCHBUCH

PAPIER-PAPIER-BUCHBUCH

PDF-PDF-PRINTSPRINTS

Core IT

eMC

oreITeM MODULEMODULE

FULLFULL SHORTSHORT

ONLINE-ONLINE-BUCHBUCH

PAPIER-PAPIER-BUCHBUCH

PDF-PDF-PRINTSPRINTS

LaTeXLaTeX XMLXML(MathML)(MathML)

XMLXML(MathML)(MathML)

PDFPDF

LaTeXLaTeX(xsl)

knowledge compressionknowledge compression

Core IT

eMC

oreITeM

• Das ProblemDas Problem• Das BuchDas Buch• Die Online-VersionDie Online-Version• Airport-ModuleAirport-Module• Blended VariantenBlended Varianten• TrackingTracking• ZusammenfassungZusammenfassung• Demo von StoADemo von StoA

UniZH — UniBA —ETHZH—UniFR UniZH — UniBA —ETHZH—UniFR

Core IT

eMC

oreITeM

• -Milestones-Milestones

• Erkenntnisse für SVCErkenntnisse für SVC

• NachhaltigkeitNachhaltigkeit

Core IT

eMC

oreITeM

• Technologie sehr frühTechnologie sehr frühabschätzenabschätzen

• Bedürfnisse der PartnerBedürfnisse der Partnerharmonisierenharmonisieren

• Sonstiges??Sonstiges??

Core IT

eMC

oreITeM

• -Milestones-Milestones

• Erkenntnisse für SVCErkenntnisse für SVC

• NachhaltigkeitNachhaltigkeit

Core IT

eMC

oreITeM

• UniZH VL Mazzola:UniZH VL Mazzola:Musik- und SoundinformatikMusik- und Soundinformatik

• Andere Partner!!Andere Partner!!

Paper mit Milmeister + Weissmann für

Paper mit Milmeister + Weissmann für

E-learning-WebALT-Konferenz Eindhoven

E-learning-WebALT-Konferenz Eindhoven

• UniZH Weiterbildung:UniZH Weiterbildung:Ab Jan. 2007Ab Jan. 2007