Concept
Axiomes de Hilbert
Séances de cours associées (35)
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.
Mécanique quantique: mesure
Couvre les axiomes de la mécanique quantique et la mesure des quantités dans un système quantique.
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.
Géométries non euclides
Explore les géométries non euclides, y compris la géométrie hyperbolique et le modèle tractricoïde, défiant les principes euclidiens et introduisant la géométrie projective.
Équations différentielles ordinaires : Définitions et méthodes
Explore les équations différentielles ordinaires, les méthodes de preuve et les exemples historiques d'Euclid, en mettant l'accent sur le raisonnement logique et les dérivations étape par étape.
Enveloppe quantique
Déplacez-vous dans l'enchevêtrement quantique, explorant l'état, l'évolution et la mesure des particules enchevêtrées.
Sigma Fields : définition et exemples
Couvre le concept de champs sigma et leur rôle dans la théorie des probabilités.
Les nombres réels : Axiomes et limites
Couvre l'organisation des nombres réels, des axiomes et des limites, y compris infimum et supremum.
Paradigme quantique de calcul
Introduit le paradigme du calcul quantique numérique, couvrant les qubits, les portes logiques quantiques, la préparation de l'état et la correction des erreurs.
Introduction aux types et aux relations inductives
Explore l'importance des types dans la programmation et discute des systèmes de types malsains et des relations inductives.