CSC 173: Computation and Formal Systems

CRN:
29493
Credit Hours:
4.0
Previous Offerings:

We investigate several formal systems influential in computer science, and also some of their applications (e.g. inspiring and providing the foundation for a computer programming style, or providing the basis for solving important practical problems like communications protocols, compiling, systems analysis, graphics ...) In more detail, we study: propositional and predicate logic and applications like the Prolog language and circuit design; formal languages and automata theory (FLAT) and applications like scanners and parsers, using the C Language; lambda calculus and the Scheme language with an AI application; matrices and the Matlab language, with applications in robotics or graphics.

CRN Course Course Title Term Credits Status
29493 CSC 173 COMPUTATION & FORMAL SYSTEMS Fall 2013 4.0 Open
Schedule: Day Begin End Building Room
  TR 1400 1515 LATT 201
Enrollment: Sec Enroll Sec Cap Updated
  65 100 11/28/2012