CS 536: Science of Programming It was theory core subject with content focused on predicate logic, program verification from triple.