Séances de cours associées à Boucle infinie

Turing Machines: Langues récursives

Couvre les machines Turing, les langages récursifs, l'indécidabilité et les exécutions infinies en théorie computationnelle.

Introduction aux itérations

Couvre la boucle "pour" en C++, montrant comment répéter les instructions et éviter le code répétitif.

Théorie quantique des champs : renormalisation

Couvre le concept de renormalisation dans la théorie quantique des champs, en se concentrant sur la régularisation et l'élimination des divergences.

Vérification automatique des exercices de programmation

Couvre un cadre pour la vérification automatique des exercices de programmation, y compris le traitement axiomatique et la représentation par modèle.

Python Basics: Fonctions et Listes

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.