Outils pour utilisateurs

Outils du site


Panneau latéral



Contacts

Scolarité M1

Mickael Ferreira
télephone 01 57 27 68 96
bureau Sophie Germain - Bur. 3004
En télétravail les mardis et vendredis
(permanences Zoom : 10h30-12h00 ; 14h00-15h30)

connexion à la permanence de Mickaël Ferreira (code: 141280)

Scolarité M2

Sylvia Crochet
téléphone 01 57 27 68 98
bureau Sophie Germain - Bur. 3002
En télétravail les mardis et vendredis. Ne travaille pas les mercredis
(permanences Zoom : 10h00-11h30 ; 14h30-16h00)

connexion à la permanence de Sylvia Crochet (code: 242581)

formations:masters:cours:resume_semantique

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
formations/masters/cours/resume_semantique.txt · Dernière modification : 2022/07/26 19:04 de 127.0.0.1