Anna

Annales de feuilles d'examen --
2006-01-31 (created) --> 2006-04-10 (last updated)

Méta-principes

La qualité avant tout.
La navigation guidée par les maths.

Principes

Chaque exercice est exprimé en latex (tex).
Une feuille d'examen est une suite d'exercices sous contraintes.
À chaque exercice sont associés 4+x attributs : un niveau de compétence parmi quatre (fondamental, minimum, moyen, bon), un durée maximum pour le faire, un thème précis (ex : algèbre/applications linéaires/matrices/calcul de la matrice inverse), x données variables (aléatoires).
À chaque exercice correspond son corrigé.
Si l'exercice est libre, la feuille d'examen est contrainte par : la durée totale de l'épreuve, le niveau maximum des exercices inclus.
Le source (simili-latex) d'un exercice contient les calculs des variables de l'énoncé. Il est compilé (à la WIMS) pour fournir une vraie source latex.

Principe de fonctionnement

Les P (les profs) créent la base des exercices.
A (l'automate) produit des feuilles d'examen et les corrigés.
Les E (les élèves) tirent des feuilles d'examen de A.
Les E (les élèves) tirent des exercices de A.
Les E (les élèves) tirent les corrigés de A.
Le jour du contrôle venu, les P (les profs) tirent de A les feuilles d'examen (et les corrigés).
Le contrôle et le corrigé ne sont pas interactifs.

Structure de la base d'exercices

La base est divisée en matières (algèbre, etc).
Chaque matière est divisée en thèmes (calcul vectoriel).
Chaque thème est divisé en objectifs (avec un verbe), répartis par niveau.
Chaque objectif contient une kyrielle d'exercices.
Chaque utilisateur possède son propre profil de niveaux.
On peut choisir de randomiser une feuille en plusieurs feuilles distinctes.
Exemple : (Enseignement d'Algèbre 1 d'A. Hirschowitz)

Réalisation

Un serveur de type client/serveur WEB est envisageable. Il existe des hordes de solutions analogues à examiner (WIMS, Untel, etc). À notre connaissance, il n'existe pas encore de plateforme simple et adaptée au fonctionnement demandé. On peut classer les plateformes connues et facilement disponibles selon leur souplesse d'adaptation et leur facilité de prise en main et de programmation.

Réalisation sur la plateforme WIMS

Réalisation sur la plateforme Untel

Réalisation sur la plateforme scratch

Références

DB

Gadfky (simple db python)

Sqlite
SQL
SQL types

liens

Making a web server in Python
Embarquer un serveur dans Python
Codes réseau
ProgX (Python) Web Service (Soapy) Web Programming in Python package pédagogique (di Scala) prospective Inria 2003 bash (manuel) Web Site Building (Elements) SimpleTAL Circum cgi Circum peacefire Circum php roxy Circum (article) proxy (def) debian cours Advanced Bash-Scripting Guide How not to write a http daemon libASSA The ADAPTIVE Communication Environment SAdoor non listening remote shell and execution server Stealthy Remote Administration Iptables Firewalling et partage de connexion config réseau service réseau Sécuriser linux réseau tunnel réseau filtrage Netfilter réseau tproxy réseau numéros de port (IANA) port (notion) Python experience (Pointal) Python daemon (Chris) Python (cours Jussieu Fuchs) Dev Python (dive.org) DNS DNS Linux Virtual server (dive.org) FreeOS DNS services httpd Php re2c Debug Everywhere didiwiki

Preuve assistée

Coq Coqweb (local mode) coq-8.0beta.tar.gz CROQ (module wims <--> coqweb) gtk tutorial.

SML

The Standard ML Language The MLKit MLton OCAML for coqweb ocaml-SQLite

Anna

Méta-principes

Principes

Principe de fonctionnement

Structure de la base d'exercices

Réalisation

Réalisation sur la plateforme WIMS

Réalisation sur la plateforme Untel

Réalisation sur la plateforme scratch

Références

oef (Open Exercise Format -- Format d'exercice ouvert?)

anna

cms (Course Management System -- Gestion des cours)

lms (Learning Management System -- Gestion de l'enseignement)

aserve (un serveur pour Anna)

un autre serveur pour Anna

math

auth (techniques d'authentification)

xml

DB

liens

Preuve assistée

SML