| Matthieu Martel | |||||
 |
 |
||||
|
|||||
C@L.BOTS : compétition de programmation robots Mindstorms NXT (http://calbots.univ-perp.fr)
Master recherche (M2)
Master d’informatique, automatique et électronique (Université de Perpignan)
Licence d’informatique (Université de Perpignan)
|
|
FMIN 344 (Université Montpellier II) : Algorithmes et méthodes pour la fiabilité numérique
Interprétation abstraite pour la précision numérique : de la détection à la correction d’erreurs (M2 Master Parisien de Recherche en Informatique )
Intégration et validation du logiciel (M1)
Voir en video la leçon inaugurale de Gérard Berry au Collège de France
Concours Alstom de réalisation d'un véhicule urbain à partir du kit LEGO Mindstorms (powerpoint)
Découverte de l’informatique (L1) :
Cours 1 : les systèmes autonomes
Cours 2 : validation de systèmes critiques par interprétation abstraite (powerpoint ou pdf)
Mathématiques pour l'informatique : logique (L1)
Déduction naturelle en logique propositionnelle (règles d'inférence de Gentzen), sémantique de la logique propositionnelle (syntaxe, sémantique, définition et preuves par induction), validité des formules du calcul propositionnel (cohérence et complétude, mise sous formes normales), calcul des prédicats (théories, sémantique, non-complétude), logique et preuves de programmes.
Mathématiques pour l'informatique : théorie des langages (L2)
Mots et langages formels, automates d'états finis (automates déterministes, non-déterministes, déterminisation d'automates), langages reconnaissables par automates finis (propriétés de clôture, lemme de l'étoile), transformation d'automates (minimisation, fermeture transitive), langages rationnels (expressions rationnelles), grammaires et langages algébriques (hierarche de Chomski), Automates à pile et machines de Turing (langages reconnus).
Conseil de lecture : cliquer sur l'image.
Intelligence artificielle (L2) (voir l'introduction en powerpoint ou pdf)
Raymond Lulle, philisophe catalan est parfois considéré comme le père de l'intelligence artificielle.
Cours utilisant les robots LEGO Mindstorms. Boucles de contrôle et équilibre dynamique (contrôleurs PID), bras articulés et jeux à deux joueurs (algorithme MinMax), navigation : localisation et cartographie simultanée, navigation : cartographie et orientation, réseaux de neurones et évitement d'obstacles (vision par caméra, réseaux multi-couches).
Algorithmique parallèle (L2)
Cours utilisant les robots LEGO Mindstorms. Programmation multi-threadée en Java (variables partagées, ordonnancement des tâches), synchronisations (sémaphores, moniteurs), exclusion mutuelle (algorithme de Peterson). Systèmes distribués, communications et routage (communications par Bluetooth, algorithmes de diffusion et d'élection).
Généralités
et syntaxe du langage (notions de base), les environnements en
programmation fonctionnelle (liaisons, environnements globaux et
locaux, environnements et fonctions, fonctions (fonctions
génériques, anonymes, curryfiées,
récursives terminales, polymorphes), les types (types
inductifs,
reconnaissance de motifs, filtrage), traits impératifs
(exceptions, unité, tableaux,
références), modules
(déclaration, signatures, parties publiques et
privées).