Univers-Cité des mathématiques

Une université compilée depuis un Kristal mathématique.

MathKristal structure la connaissance; UCKK en projette les voies, les cours et les pages; SemantiK Architect en réalise la langue.

L’Université des mathématiques consomme actuellement MathKristal 1.6.0, épinglé par sha256:35aef425c4029076e1af3ada6a52413e975ed402ce0c64644943b11a5849ff71. Le corpus contient 3403 référents et 5221 assertions. UCKK en construit une projection pédagogique reconstruisible; Moodle conserve les inscriptions, évaluations, notes et productions humaines.

Repères rapides

Fondations → Euler Ensembles, réels, complexes, exponentielle complexe et formule d’Euler. Analyse → analyse fonctionnelle Limites, dérivation, espaces de Banach et grands théorèmes fonctionnels. Topologie → π₁ Espaces topologiques, chemins, homotopies et groupe fondamental. Probabilités → Itô Espaces probabilisés, mouvement brownien, intégrale et formule d’Itô.

01

Kristal = autorité mathématique

Référents, assertions, définitions, preuves, dépendances, domaines et provenance demeurent dans MathKristal. La copie Moodle n’est jamais un second canon.

02

UCKK = projection pédagogique

Le projector transforme les voies pédagogiques du Kristal en parcours, étapes/cours et spécifications de pages. La projection peut être reconstruite à partir du même state_id.

03

SemantiK Architect = articulation

Les pages transmettent des obligations sémantiques déjà sélectionnées. SemantiK Architect articule ces obligations dans la langue cible; il ne choisit ni les faits ni le curriculum.

04

Moodle = runtime pédagogique

Moodle sert les artefacts, gère les usagers et conserve l’état humain. Une reconstruction de la projection ne doit jamais écraser inscriptions, notes, remises, annotations ou décisions éditoriales.

Entrer dans l’université