Search for tag: "sets"

GradFUTURES Forum 2021: Taking a Data-Driven Approach to Understanding PhD Labor Market Demand

This week-long conference will include sessions and speakers covering: national best practices; ways to pivot and recalculate; bespoke immersive experiences and learning cohorts; mentorship; and…

From  Grad Prof GradFutures on April 28th, 2021 0 likes 173 plays

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 9 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 195 plays

cos326-2020-04-04-type-history

Where did type systems come from?

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