2018-2019 University Catalogue [ARCHIVED CATALOG]
|
COSC 450 - Theory Seminar An in depth look at a current topic of interest in computer science theory. Past seminars have focuses on a wide variety of topics in the theory of computation and the semantics of programming languages. These have included denotational semantics, type theory, category theory, operational semantics, and advanced functional programming. During the second half of the term, students work in teams on various projects related to the seminar topic and present their findings at the end of the term.
Credits: 1.00 Corequisite: COSC 450L Prerequisites: COSC 304 Major/Minor Restrictions: None Class Restriction: None Area of Inquiry: Natural Sciences & Mathematics Liberal Arts CORE: None
Click here for Course Offerings by term
|