coreitem. coreitem -milestones -milestones erkenntnisse für svc erkenntnisse für svc...
TRANSCRIPT
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