Semantics

Séances de cours associées (29)

Connectez-vous pour filtrer par séance de cours

Page 2 sur 3

Introduit des expressions régulières, couvrant les ensembles de langage, la syntaxe, la sémantique et les limitations.

Explore la sémantique, les fonctions récursives, les boucles, la modélisation entrelacée et la vérification de l'interprète.

Explore les propriétés des relations, la monotonie, la sémantique des variables locales et la traduction dans les programmes.

Couvre la sémantique de l'attribution de tableau et de la comparaison en Java.

Explore les chiffres de l'église, les booléens, les paires, la récursion et l'équivalence comportementale dans Lambda Calculus.

Explore le théorème du point fixe de Tarski, la continuité des omégas, la connexion de Galois et les concepts d'interprétation abstraite.

Explore la sémantique relationnelle des boucles dans les programmes et l'interprétation mathématique des structures de boucles.

Couvre le langage Amyli, y compris la syntaxe abstraite, la représentation de programme et la sémantique opérationnelle.

Explore la sémantique des boucles, démontrant comment calculer systématiquement la signification d'une boucle while.

Explore la représentation des connaissances, les structures de données, la sémantique et les défis de la recherche de données sur le Web.