Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Concept

Sémantique formelle

Séances de cours associées (26)

Grammaires et analyseurs: un aperçu du traitement du langage

Fournit une vue d'ensemble des grammaires et des analyseurs dans le traitement du langage informatique.

Algèbre relationnelle Connectez-vous à Mediaspace pour regarder cette vidéo

Introduit des langages de requête relationnels, en se concentrant sur les opérateurs d'algèbre et l'optimisation des requêtes.

Analyseur: CYK Algorithm Connectez-vous à Mediaspace pour regarder cette vidéo

Explore les grammaires formelles, les algorithmes d'analyse, l'efficacité de l'algorithme CYK et la correction syntaxique dans le traitement du langage naturel.

Sémantique à grande échelle : définition d'expressions et de commandes arithmétiques Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre la définition d'un langage de programmation simple et sa sémantique à grande échelle, y compris les expressions arithmétiques et les commandes impératives.

Hoare Logic: Fondements et applications Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre Hoare Logic, ses fondements, ses applications et son importance dans la vérification des programmes.

Variables et opérateurs Connectez-vous à Mediaspace pour regarder cette vidéo

Couvre les bases de la programmation C, y compris les variables, les opérateurs et la programmation orientée système, en mettant l'accent sur les différences avec Java.