Mathematical reasoning for computer science. Topics include propositional and first-order logic, group theory, introduction to formal languages and formal models of computation.
Offered on a CR/NC basis only.
Restriction: Undergraduate
News & Events | People | Academics | Research | Jobs | Companies | Visitors | Computer Facilities | Home
