Séances de cours associées à Fondements du logiciel

Explique la compression et l'inégalité Kraft dans les codes et les séquences.

Discute des propositions inductives, de leurs définitions et de leurs applications dans les techniques de raisonnement et d'évaluation dans Coq.

Présente une courte preuve d'une conjecture d'Erdös, explorant des questions connexes et une preuve détaillée de la proposition.

Explore les chiffres de l'église, les booléens, les paires, la récursion et l'équivalence comportementale dans Lambda Calculus.

Couvre la formule d'inversion de Fourier, explorant ses concepts mathématiques et ses applications, soulignant l'importance de comprendre le signe.

Fournit un aperçu du calcul lambda, de la sécurité de type et de l'inférence de type dans les langages de programmation.