Activités d'enseignement du labo TCS-Sensor

Le groupe d’informatique théorique participe aux enseignements suivants:

ELEMENTS D'INFORMATIQUE THEORIQUE

Objectifs

Ce cours a pour sujet l’étude et l’analyse des sujets fondamentaux pour l’informatique théorique. L’informatique théorique est concernées par un certain nombre de sujets qui ont leur importance en complexités et algorithmes, pris dans un large contexte. On étudie les méthodes des langages formels, calculabilité et complexité.

Contenu

  • Langages réguliers, automates a états finis déterministes et non-deterministes, grammaires et expressions régulières;
  • Langages non-contextuels, automates a piles déterministes et non-deterministes, grammaires non-contextuelles;
  • Langages récursivement enumerables, machines de Turing;
  • Calculabilite, hypothèse de Church, machine de Turing universelle, réduction;
  • Complexité, classes et langages, rapports entre mesures de complexité;
  • Problèmes NP-complets, classes polynomiales: P et NP, réduction bornée.

CRYPTOGRAPHIE

Objectifs

Ce cours a comme objectif la présentation de plusieurs algorithmes et méthodes cryptographiques ainsi que des problèmes de sécurité liés aux systèmes informatiques. Le premier semestre est consacré à l’analyse théorique des algorithmes, le deuxième à l’acquisition de quelques protocoles importants ainsi que des solutions intégrées couramment utilisées.<P>

Contenu

  • Introduction historique et cryptanalyse
  • Cryptographie symmetrique et assymetrique (RSA etc.)
  • Signatures
  • Générateurs pseudoaleatoires
  • Fonctions de hashage
  • Authentification
  • Protocoles d’échange des clés (Needham-Schroeder, Kerberos, etc.)
  • Logique BAN

ALGORITHMIQUE ET COMPLEXITE

Objectifs

Ce cours a pour sujet l’étude et l’analyse de la COMPLEXITE des algorithmes. Au plan de la COMPLEXITE, on inclut des questions qui s’y rapportent a des taches qui peuvent ou ne peuvent pas être résolues efficacement par différents systèmes de calculabilite selon diverses hypothèses et restrictions. Pendant le premier semestre on analyse plusieurs modèles et situations et pendant le deuxième on étudie la classe des algorithmes probabilistes.<P>

Contenu

  • Classes de COMPLEXITE
  • Problèmes d’optimisation
  • Modèles probabilistes et aléatoires
  • Modèles de calculabilite parallèle
  • Algorithmes probabilistes

ALGORITHMIQUE

Objectifs

Présentation de différentes techniques algorithmiques.

Contenu

  • Divide and Conquer
  • Greedy Algorithms
  • Dynamic Programming
  • Backtracking
  • Branch and Bound
  • Advance Data Structure
  • Suffix trees
  • Compression methods
  • Other issues
  • Approximation algorithms

ALGORITHMIQUE POUR LE WEB

Objectifs

Ce cours a pour sujet l’analyse des algorithmes fondamentaux pour le Web et pour les réseaux de communication. Il est concerné par un certain nombre de sujets qui ont leur importance en modélisation du Web, graphes aléatoires, recherches des topiques, ordonnancement et liste des priorités pour les moteurs de recherche.

Contenu

  • modélisation du Web comme un graphe aléatoire
  • obtention de l’information avec le Web
  • problèmes et modèles
  • recherches et algorithmes fondamentaux d’indexation
  • paramètres importants du Web et mesure/estimation par algorithmes
  • Internet, Web, Hypertext et documents multimédia

STRUCTURES DISCRETES ET THEORIE DE L'INFORMATION

page du cours

(Pas de description pour l’instant).