Différences

Ci-dessous, les différences entre deux révisions de la page.

--- formations:masters:cours:resume_semantique [2021/02/03 17:37] – ↷ Page déplacée de formations:masters:1ere_annee:cours:resume_semantique à formations:masters:cours:resume_semantique admin
+++ formations:masters:cours:resume_semantique [2022/07/26 19:04] (Version actuelle) – modification externe 127.0.0.1
@@ Ligne 1: / Ligne 1: @@
+====== Sémantique de langages de programmation ======
+==== Compétences visées ====
+Le cours vise à familiariser les étudiants avec des techniques et méthodes formelles pour raisonner de manière générale sur la sémantique des langages de programmation, et plus particulièrement sur la sémantique opérationnelle.
+==== Contenu ====
+  * Quelques notions préliminaires mathématiques et logiques
+  * Lambda-calcul
+  * Systèmes de réécriture
+  * Raisonnement équationnel
+  * Éléments de base de la sémantique dénotationnelle