Category Archives: Mathematics

Seeing It as a Relationship: <-> beta-reduction

Posted in kerneltrap.org on January 30, 2010 – 4:36am Last week I got a question that asks me to show that the following statement about Y combinator in LaTeX is correct: where is defined as The statement about the union … Continue reading

Posted in Lambda Calculus, Learning Experience, Mathematics | Tagged | Leave a comment

Why It is Called Counting in Discrete Mathematics

Posted in kerneltrap.org on October 18, 2009 – 5:01am When I learned Discrete Mathematics, I was curios why it is called “counting” the chapter that discusses permutation and combination. Isn’t that mathematics about counting after all? But, I didn’t think … Continue reading

Posted in Discrete Mathematics, Learning Experience, Mathematics | Tagged | Leave a comment