Page matériel pédagogique

Jean-Paul Comet, Université de Nice Sophia Antipolis

Année 2023-2024

Cours d'IA symbolique pour les réseaux biologiques complexes [semestre 1] EPU département GB, 5ème année, 2023--2024.
  1. Transparents : 1ère partie du cours sur le lien avec les eq. diff.
  2. TD n.1 : lien équa. diff. et modélisation qualitative
  3. Transparents : 2de partie du cours sur le model checking partie 1 partie 2
  4. TD n.2 : manipulation de CTL
  5. TD n.3 : implémentation du model checking
  6. Examens des années précédentes : 2018 2019
Cours de Génie Logiciel et UML [semestre 1] EPU département GB, 5ème année, 2022--2023.
  1. Aide mémoire à propos de GIT : avec GitLab.
  2. Introduction à GIT partie 1.
  3. TD n.1 : GIT (en local).
Cours de Bases de données avancées et Interfaces [semestre 1] EPU département GB, 5ème année, 2022--2023.
  1. Transparents : Introduction à HTML5 - CSS3, 33 pages.
  2. Fiche : installation d'un serveur de page web (au besoin)
  3. TD n.1 : Structure d'une page web HTML-CSS
  4. Evaluation au travers d'un projet en groupe
Enseignement d'Algorithmique pour la biologie [semestre 2] EPU département GB, 4ème année, 2023--2024.
  1. cours du 19 janvier 2024, sur une introduction à la complexité. TD 1, sur les tris. TD complémentaire, sur la programmation structurée.
  2. cours du 9 février 2024, sur le pattern matching. TD 2, sur le pattern matching
  3. cours du 16 février 2024, sur les automates.
  4. cours du 8 mars 2024, sur les parcours de graphes. TD 3, sur les graphes
  5. cours du 12 mars 2024, sur les parcours de graphes. TD 4, sur les parcours de graphes
  6. cours du 29 mars 2024, sur le recherche de plus court chemin.
  7. cours du 5 avril 2024, sur la programmation dynamique, TD 5, sur la programmation dynamique
  8. cours du 11 avril 2024 , sur l'alignement de séquences. TD 11 du 19 avril 2024, sur l'alignement de séquences.
    quelques matrices de substitution: pam250.txt, pam30.txt, pam70.txt, blosum50.txt, blosum62.txt, blosum80.txt, blosum90.txt,
  9. Sujets d'examen : 2019, 2020, 2021, 2022, 2023.
Techniques de simulation pour la biologie [semestre 2] EPU département GB, 4ème année, 2023--2024.

Années précédentes

A Nice

Enseignement de Bases de Données relationnelles [semestre 2] EPU département GB, 4ème année, 2022--2023.
  1. Sujets d'examen: 2019, en 2020: évaluation par QCM sur moodle, 2021, 2022, 2023.
Cours de Bonnes pratiques de programmation (python) [semestre 1] EPU GB3, 2021--2022.
  1. Télécharger python à l'adresse https://www.python.org/downloads/
  2. Guide d'installation de Python 3
  3. Examen en fin de semestre.
Cours d'Outils Mathématiques pour la Biologie [semestre 1] EPU GB3, 2018--2019.
  1. Sujets d'examen : 2014, 2015, 2016, 2017, 2018.
Intelligence Artificielle et Bio-informatique, médécine [semestre 2] L3 IA + DL M+LV, 2021--2022.
Intervenants: V. Zarzoso et J.-P. Comet
Biologie Systémique ECUE 2 : Méthodes formelles pour la modélisation discrète [semestre 1] Master SVS, parcours BBC 2022--2023.
Introduction à la bioinformatique par la programmation (Python) [semestre 1] Master SVS, 2008--2016, 2018--2021.
Cet enseignement n'a eu lieu ni en 2016-2017 ni en 2017-2018.
Introduction à la bioinformatique par la programmation (Python) + Introduction aux Bases de données [semestre 1] Master SVS, 2017--2018.
Intervenants: E. De Maria, G. Bernot et J.-P. Comet
Enseignement d'Algorithmique pour la biologie [semestre 1] Master SVS, 2017--2018.
  1. Sujets d'examen : décembre 2015, décembre 2016

A Evry

  1. Cours de structures de données, M1-GBI.
  2. Cours Modélisation et simulation avancées, M2-GBI.
  3. Cours de génie logiciel, L3 informatique.
  4. Cours d'Algorithmique pour la Bio-Informatique, DESS GBI.
  5. Introduction à l'Algorithmique pour la bioinformatique, IUP GBI Licence.
  6. Introduction à la programmation Prolog, Licence Informatique.
  7. Option BioInformatique, DESS CCI.