Vous êtes ici :

Discipline(s) : Informatique, Sciences et technologies, Information-Communication

UE4 - S3 : Outils Formels pour l'Informatique | P.Informatique

Semestre Semestre 3
Type Obligatoire
Nature UE
Volume horaire total 48h
Volume horaire CM 24h
Volume horaire TD 24h

Domaine(s) LMD

Informatique, Mathématiques - Informatique

Langue(s) d'enseignement

Français

Responsables

UEUP(s) requise(s)

Objectifs

  • Modélisations de situations concrètes grâce à différents outils de description. 
  • Rigueur dans le traitement des descriptions.

Contenu

  1. Éléments de logiques
  2. Relations
  3. Fonctions
  4. Récurrence et induction
  5. Automates finis

Appartient à

Contrôles des connaissances

Contrôle de connaissances Terminal.