Educational Technology Lab

Seite 11 von 12.

1. MKM-net - Mathematical Knowledge Management Network

   Mathematik ist einer der ältesten Bereiche des Wissens und Euklids "Elemente" ist eine der ältesten Einkapselungen dieses mathematischen Wissens. Trotzdem hat die Frage nach dem Management dieses…

2. 

   Mentor-2 - Mentor

3. MOWGLI - MOWGLI

4. 

   MIPPA - Mixed-Initiative Proof Planning and its Application

   Das MIPPA Projekt untersucht Nutzungsgrundlagen von Beweisplanungstechniken in mathemtischen Tutorsystemen. Es zielt auf die Integration des Beweisplaners MULTI als back-engine für Beweisübungen in…

5. 

   DaMiT - Data Mining Tutor

   Der Data Mining Tutor (DaMiT) ist ein generisches Lernsystem, dessen Inhalte auf das Gebiet des Data Mining ausgerichtet sind. Im Lernsystem werden die Grundlagen des Data Mining ebenso behandelt, wie…

• vorherige
• 1
• …
• 10
• 11
• 12