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 fondamentaux de l'algèbre linéaire, y compris les définitions clés, les théorèmes et les applications pratiques en mathématiques et en technologie.
