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 introducing some fundamentals of machine design and construction. Additional topics in coding theory, computability and formal languages may be considered.
A course in abstract algebra or Instructor Consent.

Previous:
MATH 720: Combinatorial Mathematics


