Introduit les fondamentaux de la programmation C, couvrant les familles de langues, les types de données, les pointeurs et les processus de compilation.
Introduit l'algorithme CYK pour une analyse syntaxique efficace à l'aide de l'analyse des graphiques et discute de sa complexité et de sa technique d'analyse ascendante.
Couvre les bases de la programmation C, y compris les variables, les opérateurs et la programmation orientée système, en mettant l'accent sur les différences avec Java.
Explore l'histoire numérique et l'analyse de la presse, en mettant l'accent sur l'impact des outils numériques sur la diffusion des connaissances et la recherche historique.
Introduit Stainless, un outil open-source pour vérifier les programmes Scala, couvrant le langage, la modélisation, les conseils de vérification et les travaux intérieurs.
