Formal methods in software analysis and design, including formal specification and verification. An introduction to mechanics and thermodynamics for physical science majors, designed to be taken as a sequence with PHY 2049C. Calculus is used. Course consists of lectures, recitations, and laboratory. An introduction to waves, optics, electricity, and magnetism for physical science majors. Calculus is used.
Course consists of lectures, recitations, and laboratory.
Principles of and practical experience in public speaking. Subsequent credit for STA 5440 is not permitted. Random variables, probability distributions, independence, sums of random variables, generating functions, central limit theorem, laws of large numbers. Sufficiency, point estimation, confidence intervals, hypothesis testing, regression, linear models, Bayesian analysis.