L3-Miage

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

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)

2009, 2009-2010, 2010, 2010-2011, 2011, html, L3-Miage, Texte informel

Inscription L3Miage

DenisB / February 20, 2012 / Leave a Comment / 2009, 2009-2010, 2010, 2010-2011, 2011, html, L3-Miage, Texte informel

(original 2009-2011) L’inscription à l’UJF en L3-IMA-Miage est automatique pour les étudiants venant de la L2-IMA de l’UJF (à partir

2011-2012, 2012, Circuits combinatoires, Circuits séquentiels, Histoire des ordinateurs, Impression, ISN, L3-Miage, pdf, Processeur, Représentation de l'information, Travaux dirigés

Circuits

DenisB / February 20, 2012 / Leave a Comment / 2011-2012, 2012, Circuits combinatoires, Circuits séquentiels, Histoire des ordinateurs, Impression, ISN, L3-Miage, pdf, Processeur, Représentation de l'information, Travaux dirigés

Régulièrement je compile quelques exercices sur les circuits (venant d’examen ou de td) pour mes formations (en vrac, avec des