Couvre les propositions inductives en Coq, en se concentrant sur les règles dévaluation pour les expressions arithmétiques et leurs applications dans la définition des fonctions partielles et non déterministes.
Explore la programmation dynamique du problème Knapsack, en discutant des stratégies, des algorithmes, de la dureté du NP et de l'analyse de la complexité temporelle.
Introduit la théorie des probabilités élémentaires, les opérations de la théorie des ensembles et les calculs de probabilité avec des exemples pratiques.
Couvre les bases des systèmes logiques, y compris les circuits numériques versus analogiques, les opérateurs logiques, les tables de vérité et l'algèbre booléenne.
Explore des exemples d'algèbres homotopiques et des adjonctions, en se concentrant sur les articulations gauche et droite dans les functeurs de groupe et les coproduits.
Explore les grammaires formelles, les algorithmes d'analyse, l'efficacité de l'algorithme CYK et la correction syntaxique dans le traitement du langage naturel.
