UE — Théorie des langages, automates

Licence — L2+L3 · Informatique · 60h CM/TD · 6 ECTS

Unité d'enseignement « Théorie des langages, automates » — Informatique (L2, L3). Cette UE permet de construire les bases conceptuelles, méthodologiques et pratiques associées à la thématique.

Prérequis

ue-logique
ue-mathematiques-discretes

Langages formels et automates — Étude approfondie : Langages formels et automates.

Représentation des entiers en binaire (complément à deux, hexadécimal)

binaire
hexadécimal
complément à deux
bit
octet
base
conversion

Représentation des nombres à virgule flottante (norme IEEE 754)

flottant
IEEE 754
mantisse
exposant
précision
arrondi

Représentation des textes (encodage ASCII, UTF-8, Unicode)

ASCII
UTF-8
Unicode
encodage
caractère
table de codage

Algorithmes de parcours séquentiel (recherche d'un élément, d'un extremum)

parcours
recherche séquentielle
extremum
minimum
maximum
itération

Portraits, images et stéréotypes culturels

portrait
stéréotype
image
représentation de soi
préjugé
identité

Sémantique formelle — Étude approfondie : Sémantique formelle.

Vérification formelle — Étude approfondie : Vérification formelle.

Sources : Référentiel UE Logopoïos (data/ue/ue-disciplines.json) · Programmes types Licence — L2+L3 — Informatique · enrich-real:licence-informatique.yaml