Enseignement
Ça se passe à la Faculté des Sciences, entre le département de mathématiques et le département d’informatique.
2019 – 2020
En parcours Maths-Info
C’est un parcours de la licence d’informatique, proposé sur le site de St-Charles et en télé-enseignement. Je suis reponsable de L2, Benjamin Monmege est responsable du parcours et de la L3.
J’y assure le cours Calculabilité et sémantique en L3, avec Frédéric Olive à St-Charles et avec Benjamin Monmege en télé-enseignement.
En PES Descartes
C’est-à-dire Préparation aux études scientifiques (première année allongée sur deux ans) dans le portail Descartes (mathématiques, informatique, mécanique et physique). J’y officie dans l’unité Logique et raisonnement mathématique, sur le site de Luminy.
En Master 2 IMD
C’est le master Informatique et mathématiques discrètes, j’y fais le cours de Réalisabilité classique.
Le DIU Enseigner l’informatique au lycée
C’est un diplôme inter-universitaire pour former des enseignants de lycée à la spécialité Numérique et sciences informatiques (NSI) qui fait son apparition en classe de première en septembre 2019. Je m’occupe avec Benjamin Monmege de l’instance de cette formation à Aix-Marseille.
Le DU Compétences complémentaires en informatique pour l’enseignement
C’est un diplôme universitaire pour former des enseignants de lycée à l’informatique, tant pour la spécialité NSI que pour les contenus d’informatique dans les autres disciplines. Plus poussé que le DIU EIL, il permet une poursuite d’étude pour valider une licence d’informatique en une année supplémentaire. Il s’agit d’une formation intégralement à distance.
2018 – 2019
En parcours Maths-Info
C’est un nouveau parcours de la licence d’informatique, proposé sur le site de St-Charles et en télé-enseignement. Je suis reponsable de L2, Benjamin Monmege est responsable du parcours et de la L3.
Nous y assurons ensemble le cours Calculabilité et sémantique en L3, cette année en télé-enseignement seulement.
En PES Descartes
C’est-à-dire Préparation aux études scientifiques (première année allongée sur deux ans) dans le portail Descartes (mathématiques, informatique, mécanique et physique). J’y officie dans l’unité Logique et raisonnement mathématique, sur le site de Luminy.
Le DIU Enseigner l’informatique au lycée
C’est un diplôme inter-universitaire pour former des enseignants de lycée à la nouvelle spécialité Numérique et sciences informatiques (NSI) qui fera son apparition en classe de première en septembre 2019. Je m’occupe avec Benjamin Monmege de l’instance de cette formation à Aix-Marseille.
2017 – 2018
En L2 MIASHS
- Analyse 1
- Algèbre linéaire 2
En télé-enseignement
- Analyse et structures algébriques, au semestre 3 de licence d’informatique
- Remise à niveau en mathématiques
Les notes de cours associées:
En Master 2 MDFI
- Logique et théorie du calcul
- Les théorèmes d’incomplétude de Gödel, manuscrit d’Alexandre Miquel
- Archives d’examens: 2012–2013, 2013–2014 (calcul des séquents, pas abordée dans ce cours cette année), 2016–2017 (arithmétique et calculabilité).
- Sémantique dénontationnelle et logique linéaire, avec Lionel Vaux