Foundations of Computer Sci

Catalog description

An introduction to the fundamental reasoning and structures of computer science. Precision of thinking through the study of logical reasoning and methods of proof. Set theory and combinatorics, examines functions and relations, and studies inductive and recursive definitions. Formal languages, grammars, finite-state machines, and Turing machines, highlighting the connections between mathematical reasoning and computability. Foundational concepts from graph theory, recurrence relations, and algebraic structures are introduced as supporting concepts.