Administration – Page 2

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

DenisB / September 17, 2021 / Leave a Comment / 2021, ARM, Brève, C, caseine, Circuits combinatoires, Circuits séquentiels, Erlang, Jupyter, L3-Miage, Logisim, Moodle, ProLog, Recherche, Travaux pratiques, VPL

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[:]

DenisB / September 5, 2017 / Leave a Comment / 2017, Brève, Contraintes, Cours, Introduction à l'algorithmique des langages formels, L3-Miage, Programmation logique, Programmation logique avec contraintes, ProLog

[:fr]Les notebooks existent depuis pas mal de temps … il y en même un maintenant pour ProLog ! swish.swi-prolog.org

2016, Brève, Webmestre

[:fr]Spip, Drupal, KSup[:]

DenisB / September 15, 2016 / Leave a Comment / 2016, Brève, Webmestre

[:fr] Au début des années 2000, mon UFR mets en place un site web SPIP pour se présenter … vers

2014, Brouillon, EDBA, L3-Miage, Programmation logique avec contraintes, ProLog

Evolutions pédagogiquesCursus changes

DenisB / January 29, 2014 / Leave a Comment / 2014, Brouillon, EDBA, L3-Miage, Programmation logique avec contraintes, ProLog

D’une année à l’autre, les cours changent. Ce ne sont pas forcément de gros changements. Les étudiants (redoublants ou pas)

Administration

Ma Page Perso

DenisB / November 18, 2013 / Leave a Comment / Administration

Initialement, mon domaine de recherche était la programmation logique avec contrainte (PLC), des applications étaient associées à l’enseignement de la