Séance de cours

Opérations de symétrie en mécanique quantique

Graph Chat

Chattez avec Graph Search

Posez n’importe quelle question sur les cours, conférences, exercices, recherches, actualités, etc. de l’EPFL ou essayez les exemples de questions ci-dessous.

AVERTISSEMENT : Le chatbot Graph n'est pas programmé pour fournir des réponses explicites ou catégoriques à vos questions. Il transforme plutôt vos questions en demandes API qui sont distribuées aux différents services informatiques officiellement administrés par l'EPFL. Son but est uniquement de collecter et de recommander des références pertinentes à des contenus que vous pouvez explorer pour vous aider à répondre à vos questions.

Dans cours

CH-250: Mathematical methods in chemistry

This course consists of two parts. The first part covers basic concepts of molecular symmetry and the application of group theory to describe it. The second part introduces Laplace transforms and Fourier series and their use for solving ordinary and partia ...

Description

Cette séance de cours couvre le concept des opérations de symétrie en mécanique quantique, en se concentrant sur la façon dont ces opérations cartographient les états pour préserver leurs propriétés. L'instructeur explique la relation entre les hamiltoniens et les éléments de symétrie, en soulignant l'importance des états propres. La séance de cours traite également de la protection des fichiers en utilisant des mesures de sécurité et des politiques de mot de passe. Divers exemples et exercices sont fournis pour illustrer l'application des opérations de symétrie en mécanique quantique.

Enseignant·e·s (2)

Ulrich Lorenz

Enseignement et PhD Doctorant·es actuel·les Jakub Hruby A dirigé les thèses EPFL de Pavel Olshin, Gabriele Bongiovanni, Chengcheng Yan, Oliver Florian Harder, Mowry Nathan Junior, Constantin Richard Krüger

Jiri Vanicek

Enseignement et PhD Doctorant·es actuel·les Liam Oliver Marsh, Yeha Lee, Davide Barbiero, Yannick Calvino Alonso, Manas Nagda A dirigé les thèses EPFL de Cesare Mollica, Ray Marcel Marin Florez, Marius Wehrle, Aurélien Patoz, Konstantin Karandashev, Tomislav Begusic, Julien Roulet, Seonghoon Choi, Roya Moghaddasi Fereidani, Zhan Tong Zhang, Eriks Kletnieks, Alan Scheidegger, Fabian Kröninger Cours Mathematical methods in chemistry CH-250 Ce cours comprend 2 parties. La 1ère partie couvre l

Source officielle

Concepts associés (32)

Couche limite

vignette|redresse=2|Couches limites laminaires et turbulentes d'un écoulement sur une plaque plane (avec profil des vitesses moyennes). La couche limite est la zone d'interface entre un corps et le fluide environnant lors d'un mouvement relatif entre les deux. Elle est la conséquence de la viscosité du fluide et est un élément important en mécanique des fluides (aérodynamique, hydrodynamique), en météorologie, en océanographie vignette|Profil de vitesses dans une couche limite.

Type system

In computer programming, a type system is a logical system comprising a set of rules that assigns a property called a type (for example, integer, floating point, string) to every "term" (a word, phrase, or other set of symbols). Usually the terms are various constructs of a computer program, such as variables, expressions, functions, or modules. A type system dictates the operations that can be performed on a term. For variables, the type system determines the allowed values of that term.

Sûreté du typage

La sûreté du typage est un principe permettant d'améliorer la qualité de la programmation. Dans les langages à typage statique, l'un des objectifs est d'intercepter les erreurs de type de données lors de la compilation. Un type peut être vu comme un ensemble de valeurs et un ensemble d'opérateurs. La programmation objet a introduit les notions d'objets, messages, classes, héritage. Il est tentant de faire coller les classes à des types.

Type (informatique)

vignette|Présentation des principaux types de données. En programmation informatique, un type de donnée, ou simplement un type, définit la nature des valeurs que peut prendre une donnée, ainsi que les opérateurs qui peuvent lui être appliqués. La plupart des langages de programmation de haut niveau offrent des types de base correspondant aux données qui peuvent être traitées directement — à savoir : sans conversion ou formatage préalable — par le processeur.

Type dépendant

En Informatique et en Logique, un type dépendant est un type qui peut dépendre d'une valeur définie dans le langage typé. Les langages Agda et Gallina (de l'assistant de preuve Coq) sont des exemples de langages à type dépendant. Les types dépendants permettent par exemple de définir le type des listes à n éléments. Voici un exemple en Coq. Inductive Vect (A: Type): nat -> Type := | nil: Vect A 0 | cons (n: nat) (x: A) (t: Vect A n): Vect A (S n).

Afficher plus

Séances de cours associées (32)

Symétrie et théorie des groupes

Couvre les concepts fondamentaux de la symétrie et de la théorie des groupes.

Modèles graphiques : Représentation des distributions probabilistes

Couvre les modèles graphiques pour les distributions probabilistes à l'aide de graphiques, de nœuds et de bords.

Mécanique hamiltonienne : espace de phase et support de Poisson

Explore l'espace de phase, le support Poisson et les concepts de mécanique hamiltonienne.

Robotique : Actualisation et analyse de la mobilité

Couvre les exercices corrigés de l'examen 2020 dans le domaine de la robotique, y compris des sujets tels que la précision, la vitesse, les moteurs à courant continu, le rapport d'engrenage optimal, la dynamique des bras de robot, les encodeurs et la cinématique.

Analyse de la production d'intrants multirégionaux: EXIOBASE 3

Couvre le calcul d'Economy-Wide Material Flow Analysis pour la Suisse à l'aide d'EXIOBASE 3.

Afficher plus

Concepts associés (32)