Southern Polytechnic State University

Undergraduate Academic Catalog 2012-2013

CS 4423 Logical Foundations of Computer Science

Prerequisite: CS 3424, MATH 2345 and senior standing


An elective course surveying computability theory, finite state machines, automata, parsing, grammars, and selected aspects of compiler construction. Particularly useful for students contemplating attending graduate school in computer science.

Table of Contents