Concept
Quatuor à cordes
Séances de cours associées (36)
Von Neumann Extractor: Extensions
Couvre l'extracteur von Neumann, ses extensions, les règles d'extraction, les preuves d'uniformité et l'interchangeabilité des séquences.
Supersymétrie : Motivations et applications concrètes
Explore les motivations et les applications de la supersymétrie, y compris la théorie des cordes et les symétries de saveur, aboutissant au théorème de Coleman-Mandula.
Analyse statique pour Amy: Techniques et Implémentations
Explore les techniques d'analyse statique comme l'analyse basée sur l'AST et l'analyse des taints appliquée au langage Amy.
Abattre un avion incliné
Explore la physique d'un cylindre roulant sur un plan incliné sans glisser et résoudre les problèmes d'examen connexes.
Déboguement
Couvre les tests, la DDT, la couverture, le débogage, les conventions de nommage, les commentaires et les solutions pour les questions de codage.
Égalité, ordre et hachage (II, Ordre)
Couvre la mise en œuvre d'interfaces pour la comparaison d'objets.
Présentation CLP Parser Lab
Couvre la mise en œuvre d'un analyseur pour transformer les jetons en un Abstract Syntax Tree.
Définitions récursives imbriquées
Explore les définitions récursives imbriquées en utilisant des environnements et la levée de fonctions binaires pour travailler sur des valeurs.
Éviter la capture variable
Explore la capture de variables dans les fonctions d'ordre supérieur et l'importance du renommage des variables.
Sciences des sols: Propriétés des sables et des cordes
Explore les propriétés des sables, des oxyhydroxydes de fer et des filonnets dans le sol.