Search for tag: "induction"

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 139 plays

cos326-2020-10-01-generalized-induction-hyps

Generalizing Your Inductive Hypothesis

From  Daniel Macleod 0 likes 215 plays

cos326-2020-08-05-proofs-programming-languages

Did I Get it Right? Part 5: Proofs About Programming Languages

From  Daniel Macleod 0 likes 150 plays

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for Datatypes

From  Daniel Macleod 0 likes 178 plays

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

From  Daniel Macleod 0 likes 201 plays

cos326-2020-08-02-induction-nats

Did I Get it Right? Part 2: Induction for Naturals

From  Daniel Macleod 0 likes 189 plays

cos326-2020-04-01-c-rant

C Rant

From  Daniel Macleod 0 likes 209 plays

GSS_13Aug2018_FEbrahimi

From  PPPL Admins 0 likes 32 plays