Explore la transition de l'AdS/CFT aux théorèmes mous en physique de l'espace plat, y compris la construction d'états de dispersion et l'application des théorèmes mous de Weinberg.
Explore la logique prédictive, en mettant l'accent sur les quantificateurs et les formes normales, soulignant l'importance de trouver des témoins et des contre-exemples.
Couvre les fondamentaux du calcul quantique, la compilation, la correction d'erreurs, la synthèse unitaire, les portes quantiques et les ADC basés sur le FPGA.
