Archive for novembre 20, 2013

Compilation d’exercices sur les Circuits

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

Matières enseignées

Matières enseignées

  • Architecture des ordinateurs
    • représentation de l’information
    • circuits logiques combinatoires et séquentiels
    • automate de contrôle, architecture de von Neumann
    • langage machine
  • Programmation logique avec contraintes
    • introduction
    • algorithmique classique
    • langages formelles (introduction)
    • graphe (introduction)
  • Algorithmique
    • introduction
    • paradigme actionnel
    • paradigme fonctionnel
    • paradigme déclaratif
    • récursivité
  • Autres (naguère, pour la plupart)
    • Système, Réseau
    • Outils formels pour l’informatique (calcul de complexité, preuve de programmes)
    • Outils mathématiques pour l’informatique (structures algébriques, graphes)
    • Histoire de l’informatique
    • Compilation
    • Projet

Ma Page Perso

Initialement, mon domaine de recherche était la programmation logique avec contrainte (PLC), des applications étaient associées à l’enseignement de la géométrie. Progressivement, je suis passé de la PLC à l’enseignement assistée par ordinateur (EAO, puis EIAO, puis EIAH : Environnements Informatiques pour l’Apprentissage Humain). Ainsi mon parcours m’a permis de participer aux projets Cabri, Aplusix et de me lancer dans le projet EDBA (en cours), respectivement pour l’enseignement de la géométrie, de l’algèbre et de l’algorithmique. En parallèle, j’ai donc exploré un peu la géométrie, l’algèbre et l’algorithmique (car l’informatisation d’une matière pour l’enseignement -transposition informatique- amène vite à des problématiques qui sortent des sentiers battus)

Sur le versant enseignement, mon premier TD portait sur les circuits logiques, j’enseigne encore l’architecture des ordinateurs … j’ai aussi, régulièrement mis à contribution mes compétences en PLC, et, selon les années, j’ai fais parti d’équipes enseignants d’algorithmique, de système, de réseau, de projet, de compilation, d’outils mathématiques pour l’informatique et j’en oublie probablement.

Du coté de la vie universitaire institutionnelle, j’ai été élu au conseil de mon UFR en informatique, au CEVU de mon université, j’ai été responsable de filière et d’UE, correspondant pour les évaluations des enseignements par les étudiants, et webmestre pour diverses UFR ou équipes de recherche, j’ai participé à l’écriture ou l’édition de plusieurs livres et à l’organisation de manifestations scientifiques (entre autres).


Pour paramétrer votre site, veuillez éditer
cette page, vous aurez accès à un espace d’administration.
Ce modèle est une adaptation du thème zeeMagazine pour le LIG. Vous avez à votre disposition d’autres thèmes.
Vous trouverez un exemple de site et un mode d’emploi (menu du haut) sur le site : PagePerso.

Pour toute demande ou remarque vous pouvez contacter : contact-si.lig@imag.fr

Featuring WPMU Bloglist Widget by YD WordPress Developer