Couvre l'interpolation des fonctions en utilisant les polynômes Lagrange et l'analyse des erreurs, en mettant l'accent sur la dépendance à la fonction.
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.
