4 ms·
For anyone wanting to go deeper, Knuth's Concrete Mathematics covers the discrete calculus topics mentioned here (and much more).
by getnormality 1y ago
For anyone wanting to go deeper, Knuth's Concrete Mathematics covers the discrete calculus topics mentioned here (and much more).
- pizza 1y agoThis is also known as "The Fundamental Theorem of Stream Calculus" in stream calculus. Using coinduction for an (infinite) stream sigma, eg sigma(0) = head(sigma) sigma' = tail(sigma) (a ++ sigma)' = sigma