BU CAS Computer Science 235
Algebraic Algorithms









2015-09-03lecture:
logic & sets
  • introduction and motivation
  • review of logical formulas
  • review of set theory