Outils pour utilisateurs

Outils du site


enseignement:masters:resume_semantique

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:

  1. Quelques notions préliminaires mathématiques et logiques
  2. Lambda-calcul
  3. Systèmes de réécriture
  4. Raisonnement équationnel
  5. Éléments de base de la sémantique dénotationnelle
enseignement/masters/resume_semantique.txt · Dernière modification: 24/10/19 16:43 par Zielonka