Login to filter by course Login to filter by course Reset
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Covers the concept of Ideal MHD waves and the behavior of plasma under different conditions.
Covers internal heat transfer effects in heterogeneous reactions, emphasizing dimensionless numbers and transport effects.
Explores waves in inhomogeneous media, covering initial and boundary conditions, numerical stability, eigen modes, and propagation principles.
Covers the density operator formalism in quantum mechanics, discussing pure and mixed states, separability conditions, and the concept of partial trace.
Explores eigen modes, natural frequencies, and the superposition principle in standing waves on a vibrating string.
Explores the proof of the Prime Number Theorem and its implications in number theory.
