Explore les langues d'Isar, de ML et de Scala, couvrant les systèmes de preuve, les règles de déduction naturelle, les définitions inductives et l'approche LCF.
Explore les aspects pratiques de la résolution des jeux de parité, y compris les stratégies gagnantes, les algorithmes, la complexité, le déterminisme et les approches heuristiques.
Couvre la mise en œuvre et l'évaluation d'un projet pratique dans les algorithmes distribués, en mettant l'accent sur la construction de liens parfaits, la diffusion FIFO et la diffusion causale localisée.
Couvre les sujets de la chimie quantique, y compris l'histoire, les outils, les techniques de couleur et de dessin, les formes et les conversions mathématiques.
Couvre les solutions à un examen simulé sur les Algorithmes Distribués, abordant des sujets comme les Détecteurs de Défaillance Parfaits et le Consensus.