Tag Archives: Computational Logic

Geek fun: How to catch a lion and Proof techniques

Randomly going through links to links to my Facebook entries, I bumped into a compendium of “proof” techniques at Chris Riesbeck’s site: Dana Angluin’s List of Proof Techniques . Here are some samples: Proof by eminent authority: ‘I saw Karp … Continue reading

Posted in Fun | Tagged ,