M2001

M2001 este un limbaj de programare matematică educațională modulară pentru dezvoltarea și prezentarea algoritmilor matematici, de la discret modern la matematica continuă clasică.

M2001 este construit pe un cadru semantic care se bazează pe teoria categoriei și are o sintaxă similară cu cea a Pascal sau Modula-2.

Este conceput doar pentru utilizare pedagogică, astfel încât eficiența și ușurința implementării au fost mult mai puțin importante în dezvoltarea sa decât generalitatea și gama de aplicații.

A fost creat pentru a juca un rol important în formarea unei fundații algoritmice formale pentru studenții de matematică din primul an.