Séance de cours
Fondements du logiciel
Description
Cette séance de cours couvre les bases de l'induction, de la syntaxe, de la syntaxe abstraite vs. concrète, des règles d'inférence et de la sémantique opérationnelle pour les booléens. Il traite également des machines abstraites, des arbres de dérivation et de l'induction sur les dérivations. L'instructeur explique la relation d'évaluation, les formes normales, les valeurs et introduit de nouvelles formes syntaxiques comme les nombres.
Source officielle
À propos de ce résultat
Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.