Design principles of batch, multiprogramming, and time-sharing operating systems. Linking, loading, input-output systems, interacting processes, storage management, process and resource control, file systems. Survey of the issues in the design and implementation of real time computer systems. 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.