Foundations of Formal Systems. Graduate standing in Computer and Communication Sciences or permission of the instructor. CCS 520 provides a graduate-level introduction to formal concepts and proof techniques in the theory of computer science. Included as representative subject matter are finite-state machines, Turing machines, recursive functions, and computability. Emphasis is on acquiring tools and techniques for formal modeling and deduction.
Students write several substantial programs.
The objectives are to teach the fundamentals of designing, implementing and analyzing operating systems. Students are expected to learn both theoretical and pragmatic aspects of operating systems. The required background is assembly language programming, data structures and calculus. Three hours of lectures and one hour of recitation per week. Grades are based on exams and programming problems.