Ideal MHD WavesCovers the concept of Ideal MHD waves and the behavior of plasma under different conditions.
Continuous Random VariablesCovers continuous random variables, probability density functions, and distributions, with practical examples.
Continuous Random VariablesExplores continuous random variables, density functions, joint variables, independence, and conditional densities.
Plasma Two-fluid ModelExplores the two-fluid model in plasma physics, focusing on linearization and equilibrium conditions.
Coq: IntroductionIntroduces Coq, covering defining propositions, proving theorems, and using tactics.
Discrete Random VariablesCovers properties and transformations of discrete random variables, focusing on PMF and expectation.