Concept
Structure de contrôle
Séances de cours associées (137)
Introduction à Python: Basics et Anaconda Setup
Couvre les bases de la programmation Python et la mise en place Anaconda et Jupyter Notebook.
Programmation Matlab: Script et Fonction
Explore la programmation Matlab avec des scripts et des fonctions, vectorisation et graphiques 2D.
Convertir les programmes impératifs en formules
Explore la conversion de programmes impératifs en formules de vérification, couvrant les affectations, les instructions if-else et les points-virgules de commande.
Machine virtuelle WASM : Groupe 13
Explore le développement d'une machine virtuelle WebAssembly par le groupe 13, couvrant les étapes du pipeline, la structure de l'interprète et la gestion des piles.
Programmation Python: Structures et fonctions de contrôle
Couvre des sujets avancés dans la programmation Python, en se concentrant sur les structures et les fonctions de contrôle.
Python Basics
Couvre les bases Python, Git, les structures de contrôle, les fonctions, la gestion des fichiers et le débogage à l'aide de PDB.
Introduction à LabVIEW
Couvre les bases de LabVIEW, y compris son importance, son historique, ses fonctions et les outils disponibles.
Programmation Python: Détection des duplicatas
Couvre l'implémentation d'une fonction Python pour détecter les duplicatas dans une liste d'entiers.
Représentations intermédiaires : CPS/L3
Couvre les représentations intermédiaires dans les compilateurs, en se concentrant sur CPS / L3 IR fonctionnel avec des continuations locales et des constructions de contrôle.
Renormalisation : AQFT
Couvre le concept de renormalisation dans la théorie des champs quantiques algébriques.