Search for tag: "sets"

McGraw Workshop October 21, 2020: "I completed my P-set, but I don’t understand the material”: Strategies for learning FROM P-sets

In high school most students focused on completing their math and other problem-solving assignments, and didn’t emphasize learning FROM these problems. Learning how to solve problems happened…

From  Nic Voge on October 22nd, 2020 0 likes 8 plays

September 25 McGraw Workshop What to study & How Fall 2020

Looking for more effective—and efficient—study strategies? Because of the large amounts of information assigned and the compressed schedule of midterm exam week, you need to prioritize,…

From  Nic Voge on September 27th, 2020 0 likes 21 plays

cos326-2020-13-02-rep-inv-set

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 199 plays

cos326-2020-13-01-representation-invariants

Reasoning about Modular Programs: Part 1: Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 194 plays

cos326-2020-04-04-type-history

Where did type systems come from?

From  Daniel Macleod on August 14th, 2020 0 likes 139 plays