Vous êtes ici :

Discipline(s) : Informatique, Sciences et technologies

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

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

Pré-requis

L'étudiant doit avoir de solides bases en mathématiques et un esprit critique afin de pouvoir appréhender au mieux la pertinence des solutions proposées. 

Objectifs

  • Langage et Terminologie Informatique
  • Identifications des différentes relations (équivalence, ordre, ...)
  • Clarté et Rigueur dans l'expression écrite

Contenu

1. Éléments de logique

2. Fonctions et Relations

3. Langages et Grammaires

4. Automates Finies

5. Récurrence et Induction

Appartient à

Contrôles des connaissances

Contrôle des connaissances Terminal.