PAST et MAST

Ici à la première vague du RIPEC on a eu des gens qui faisait le taf qui se sont vu évaluer de manière assassine (par des gens ne connaissant pas les spécificités de notre discipline) et qui en conséquence ont lâché leurs responsabilités.

Dans le même genre, ma compagne prof d'anglais propose à ces élèves de regarder des vidéos sur YouTube pour travailler leur compréhension orale, celles-ce se retrouvent automatiquement traduites en français...

A lot of nice old school DG I should learn one day there ! Interesting topic.

Dans pas mal de fac de sciences, certains TDs de premiere année en maths ou en info sont assurés par des profs du secondaires vacataires. Et aussi il existe des prags, qui n’ont pas d’obligation de recherche.

Polynômes cyclotomiques.

C’est encore un sujet actif d’ailleurs : www.math.u-bordeaux.fr/~pmagal100p/...

Ça devrait t’intéresser. mathoverflow.net/questions/22...

Tu connais la preuve avec en montrant que A sur l’espace des directions de (R+)^n est une contraction pour la métrique de Hilbert ?

Ici en France j’ai un pass pour les salles d’enseignements, mais dans une fac moins bien lotie !

Et « MIL » leanprover-community.github.io/mathematics_... aborde les différentes parties de Mathlib et les conventions de nommage.

J’avais commencé « mathematics in lean » je me suis arrêté à Cantor-Bernstein (construire une bijection à partir d’une pair d’injections dans les deux sens). Mais la bibliothèque mathématique contient bien d’autres choses !

J’avais trouvé cette vidéo intéressante sur le lien qu’entretiennent les milliardaires de la tech avec la physique en particulier. youtu.be/GmJI6qIqURA?...

Ici aussi on a des groupes de TDs à 45 en effet.

Ça veut dire quoi CC chez vous ? (Chez nous c'est contrôle continu mais je ne suis pas sur de comprendre votre message si c'est aussi ça chez vous.)