Explore l'analyse automatisée de terminaison à l'aide de paires de dépendances, couvrant les techniques classiques et modernes, les concours annuels et des outils comme AProVE.
Couvre les bases de la programmation, y compris le cycle de développement d'un programme, forte dactylographie, stockage de données dans les variables Java, et les types de données primitives.
Couvre les concepts fondamentaux de programmation et de programmation orientée objet en Java, y compris les variables, les types, les structures de contrôle et les concepts algorithmiques de base.
Explore les fonctions, les méthodes, la réutilisabilité et la modularisation dans la programmation, couvrant la décomposition, les structures de contrôle, la récursion et les ellipses pour les arguments variables.
Explore les applications financières des blockchains, couvrant la définition, l'histoire, Ethereum, la finance décentralisée, les contrats intelligents, les jetons, les méthodes d'évaluation, les défis de la double dépense, les signatures numériques, et les fonctions de hachage cryptographique.
Présente les concepts de programmation Python, en se concentrant sur les dictionnaires et les classes, y compris leurs définitions, leur utilisation et des exemples pratiques.
Explique l'allocation dynamique de la mémoire en C, en se concentrant sur les fonctions malloc et calloc et leurs différences, y compris les techniques de prévention des erreurs.