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 la convergence en droit pour les variables aléatoires, y compris le théorème de Kolmogorov et les preuves basées sur les lemmes de probabilité.
Couvre l'enchevêtrement, les inégalités de Bell, les exigences de l'ESCS, le paradoxe de l'EPE et la vérification expérimentale en mécanique quantique.
