Couvre les bases de travail avec des chaînes en C, y compris la lecture, la copie, la comparaison et la conversion des chaînes, ainsi que des exemples et des quiz.
Couvre les bases de travail avec des chaînes en C++, y compris la déclaration, l'initialisation, les caractères, l'assignation, la concaténation et la comparaison.
Se concentre sur l'utilisation d'Inox pour la vérification des programmes, en démontrant le processus de vérification des programmes et en assurant l'exactitude.
Couvre diverses opérations de chaînes de caractères en Java, y compris l'accès aux caractères par index et l'utilisation de méthodes comme'remplacer' et'substring' pour manipuler les données de chaînes de caractères.
Discute des concepts d'entrée/sortie de fichiers, en se concentrant sur l'accès séquentiel et la gestion des fichiers de configuration dans la programmation.
Explore les ensembles définis de manière récursive, les nombres naturels, les chaînes, les fonctions, la concaténation de chaînes et les formules bien formées.
