Réflexion synthétique sur le compromis, ses racines sémantiques, ressorts et sa place dans différents domaines de la vie sociale

We describe several views of the semantics of a simple programming language as formal documents in the calculus of inductive constructions that can be verified by the Coq proof system. Covered aspects are natural semantics, denotational semantics, axiomatic semantics, and abstract interpretation. Descriptions as recursive functions are also provided whenever suitable, thus yielding a a verifica...

le présent article propose, dans le cadre de l’autoformation des enseignants des universités,  de se servir  du questionnaire. l’évaluation faisant partie intégrale de toute formation, nous essayerons de présenter les apports du questionnaire à cet effet et son rôle dans la planification du cours. en effet, il s’agit de l’usage d’un même questionnaire à deux reprises dans le même cours, à la pr...