Monthly Archives: December 2009

How to solve this differential equation?

Posted on December 16, 2009 by Brent

How would you solve the differential equation with the initial condition ? I know what the answer is supposed to be, but I don’t know how to directly solve it. In case you’re wondering, is the exponential generating function for … Continue reading →

Posted in combinatorics, math | Tagged , , , , | 15 Comments

Mgu’s and universal properties

Posted on December 11, 2009 by Brent

Warning, poorly-explained categorical rambling follows… The most general unifier (mgu) of two expressions and is a substitution for which , such that every other substitution for which can be expressed as for some . For example, the most general unifier … Continue reading →

Posted in math | Tagged , , , | 9 Comments