Formations en Informatique de Lille
Portail pédagogique
Vous êtes ici : FIL > Portail > Master MISO > M1 S2 > FLI2

Fondements de l'informatique (2)

Organisation

Il s'agit d'une UE obligatoire du BCC 1 (informatique).

Objectifs

  • savoir définir la notion de langage formel
  • savoir définir les classes d’automates
  • savoir définir un automate pour reconnaître un langage
  • savoir caractériser l’expressivité d’un langage
  • savoir définir une propriété de façon formelle
  • savoir utiliser à bon escient les connecteurs logiques
  • savoir distinguer syntaxe et sémantique

Programme succinct

  • Notion d’automates déterministes et non-déterministes
  • Classes de langages formels (rationnels, algébriques, etc.)
  • Notions de grammaires
  • Logiques propositionnelle et des prédicats
  • Sémantique

Crédits

3 ECTS

Équipe pédagogique

Cédric Lhoussaine (responsable)

Évaluation

Deux évaluations en controle continu intégral.