MAT-354 DISCRETE MATHEMATICS II
Systems of linear equations, matrices, matrix operations. Graphs, lattices, Boolean algebras, regular expressions, finite state automata. Decidability, formal languages and grammars. Computational complexity. Prerequisite: MAT 253.