Theoretical Computer Science

Catalog description

This course provides the student the opportunity to explore the Grand Ideas of computer science in a systematic way. Senior computer science students will be exposed to a variety of fundamental computer science concepts within a sound philosophical framework. Current events and small scale projects will augment and reinforce computer science concepts. The senior computer science assessment examination will be administered in this course. Topics include, Boolean Algebra and logic, Finite State Machines, grammars, correctness proofs, Turing Machines, analysis and discovery of algorithms, Finite Automata, coding and information theory, and aspects of creation. Students are challenged to explore the relationship between a Christian worldview and the fundamental concepts of computer science and technology. Prerequisites: (CSC 300 or 4400 ).