Search for tag: "induction"

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod 0 likes 140 plays

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

Generalizing Your Inductive Hypothesis

From  Daniel Macleod 0 likes 221 plays

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

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

From  Daniel Macleod 0 likes 153 plays

cos326-2020-08-04-induction-datatypes

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

From  Daniel Macleod 0 likes 181 plays

cos326-2020-08-03-induction-lists

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

From  Daniel Macleod 0 likes 202 plays

cos326-2020-08-02-induction-nats

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

From  Daniel Macleod 0 likes 190 plays

cos326-2020-04-01-c-rant

C Rant

From  Daniel Macleod 0 likes 211 plays

GSS_13Aug2018_FEbrahimi

From  PPPL Admins 0 likes 34 plays