Jupyter et Vpl ?
Cette année, Caseine fêtait ses 10 ans, l’occasion de présenter les diverses intégrations logicielles que j’ai pu faire pour Moodle […]
2024, caseine, Cours, Jupyter, Programmation logique, ProLog, VPL
ProLog
2021, ARM, Brève, C, caseine, Circuits combinatoires, Circuits séquentiels, Erlang, Jupyter, L3-Miage, Logisim, Moodle, ProLog, Recherche, Travaux pratiques, VPL
Validation d’exercices sur les circuits
En 2017-2018, j’avais le plaisir de découvrir jupyter moodle/vpl depuis, les promesses se sont confirmées : ce sont des outils
2017, Brève, Contraintes, Cours, Introduction à l'algorithmique des langages formels, L3-Miage, Programmation logique, Programmation logique avec contraintes, ProLog
[:fr]NoteBook ProLog[:]
[:fr]Les notebooks existent depuis pas mal de temps … il y en même un maintenant pour ProLog ! swish.swi-prolog.org
2014, Brouillon, EDBA, Programmation logique, Programmation logique avec contraintes, ProLog
[:fr]EDBA et PLC[:]
[:fr]J’ai cherché pendant un temps une corrélation entre le niveau d’Xp atteint sur EDBA et la réussite à l’examen de
2014, Brouillon, EDBA, L3-Miage, Programmation logique avec contraintes, ProLog
Evolutions pédagogiquesCursus changes
D’une année à l’autre, les cours changent. Ce ne sont pas forcément de gros changements. Les étudiants (redoublants ou pas)