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 méthodes de calcul se concentrant sur les chemins et les chaînes de caractères, y compris des exemples de concaténation, d'éléments régex et d'opérations de chaînes de caractères.
Couvre les bases de la programmation, y compris les types, les variables, les méthodes, les fonctions, les conditions, les boucles et la logique booléenne.
Introduit des nombres et des booléens en Python, couvrant les types numériques, les opérations arithmétiques, les opérations logiques et les comparaisons.
Introduit les bases de Python comme les types, les fonctions, les conditions, les boucles et les listes, avec des exemples de manipulation de chaîne et d'opérations de liste.
Explore les systèmes de transition finis, la logique propositionnelle, l'interprétation de la vérité, la satisfaction et la représentation des fonctions booléennes avec des circuits.
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.
