Explore le comptage des ensembles infinis et les problèmes de décision, montrant les limites du calcul dans la résolution de certains problèmes indécis.
Couvre les chaînes, les ensembles dénombrables, la cardinalité et le concept de dénombrabilité, explorant la dénombrabilité de divers ensembles et la diagonalisation de Cantor.
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.
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.
Explore l'encodage des systèmes finis avec les fonctions booléennes, la logique propositionnelle, les invariants inductifs et les systèmes de preuve formels.
Explore les ensembles dénombrables et innombrables, l'ensemble Cantor, l'ensemble Mandelbrot et la dimension Box dans la dynamique non linéaire et les systèmes complexes.
Explore les concepts d'algèbre élémentaire liés aux ensembles numériques et aux nombres premiers, y compris la factorisation et les propriétés uniques.
Couvre les bases des algorithmes, leur signification historique, la représentation des pseudo-codes et les tâches pratiques dans la pensée computationnelle.
Explore la représentation et la transformation des valeurs, en se concentrant sur la conversion de fermeture et les défis de la représentation des fonctions dans les langages fonctionnels.