everything.study
SFWRENG 2FA3

Discrete Mathematics with Applications II

Undergraduate

Winter 2022

Topics

  • Finite state automata and grammars
  • Predicate logic and formal proofs
  • Models of computation
  • Complexity
  • Modular arithmetics
  • Their applications to computing

Readings

  • : Dexter C. Kozen, Automata and Computability [abbrevi- ated AC], Springer, 1997. ISBN-13: 978-0387949079. Required.
    required
    ISBN 9780387949079
  • Slides; Videos
    See source
Sources