CSCI 2824 - Discrete Structures
Primary Instructor
-
Spring 2018
Covers foundational materials for computer science that is often assumed in advanced courses. Topics include set theory, Boolean algebra, functions and relations, graphs, propositional and predicate calculus, proofs, mathematical induction, recurrence relations, combinatorics, discrete probability. Focuses on examples based on diverse applications of computer science. Same as CSPB 2824.
CSCI 5444 - Introduction to Theory of Computation
Primary Instructor
-
Fall 2019
Reviews regular expressions and finite automata. Studies Turing machines and equivalent models of computation, the Chomsky hierarchy, context-free grammars, push-down automata, and computability.
CSCI 7000 - Current Topics in Computer Science
Primary Instructor
-
Fall 2018
Covers research topics of current interest in computer science that do not fall into a standard subarea. May be repeated up to 8 total credit hours.