Séance de cours
Segmentation des lignes : Définitions et notations
Séances de cours associées (30)
Illustration des bits quantiques
Couvre les postulats de la mécanique quantique et des exemples avec des bits quantiques, y compris les observables et les matrices unitaires.
Qubits quantiques : Comprendre les bases
Couvre les bases des qubits quantiques, y compris les qubits abstraits, les états, la mesure et l'évolution dans le calcul quantique.
Axiomes de connexion
Introduit les axiomes de connexion dans la géométrie euclidienne, mettant l'accent sur des lignes uniques et des points non collinéaires.
Mécanique quantique: mesure
Couvre les axiomes de la mécanique quantique et la mesure des quantités dans un système quantique.
Bits quantiques : illustrations et postulats
Explore des bits quantiques, y compris des illustrations, des postulats et des exemples de systèmes quantiques et d'espace Hilbert.
Plan séparation
Explore l'axiome de la séparation du plan en deux demi-plans et le concept de points intérieurs.
Introduction aux catégories
Introduit le concept de catégories essentielles pour comprendre la théorie des groupes.
Récurrence: Induction
Couvre le principe de l'induction pour les nombres naturels et l'importance de la prudence dans son application.
Preuves formelles: vérification des invariants et des modèles liés
Explore les preuves formelles, les problèmes de satisfaisabilité et les invariants inductifs en utilisant des requêtes SAT dans des circuits séquentiels.
Isomestries : Transformations Préserver les distances dans l'avion
Introduit des isometries comme transformations préservant les distances dans le plan, en se concentrant sur la symétrie et les relations géométriques.