MATH 722: Discrete Structures
Mathematics 722
MATH 722: Discrete Structures
3
A survey of mathematical structures useful in theoretical computer science. Structures studied will include Boolean algebra, monoids, graphs and finite machines. Boolean algebra as applied to rating networks, structures, homomorphic structures and quotient structures are considered. Finite machines, their homeomorphisms and their use as recognizers are considered. This theory is the basis for the introduction of some fundamentals of machine design and construction. As time permits, additional topics in coding theory, computability and formal languages may be considered.
A course in abstract algebra or consent of instructor.

Previous:
MATH 720: Combinatorial Mathematics


