Media Summary: apologies for the muted opening: assorted technology fumbles abound. in which Clemens shows how to figure out the forward difference of a product. in which we explore higher-order unctions.
Cs103 25 26 5 Make One From Many - Detailed Analysis & Overview
apologies for the muted opening: assorted technology fumbles abound. in which Clemens shows how to figure out the forward difference of a product. in which we explore higher-order unctions. in which we revisited some basic proof techique. in which we revisit what classical proof gives and what it takes away. turns out it was about monoids and monoid maps.
in which Bob and I introduce implication by writing functional programs and proving the corresponding theorems. in which we prove some stuff about adding and in which we extend the notion of degree to our extended notion of Formula. We want to know that two two things add up to zero there's only we finished up leftover stuff from lecture 3. mostly, deriving the addition case of the forward difference operator.
in which we explore more connectives and their programming counterparts. in which we gather together the stuff of rigs, but also We nearly finished the proof that multiplication is associative, after a lot of "Why Is It Stcuk?".
