Viewing profile — goc

I am very interested in AI that can teach itself(sounds too great). Where can I learn up about such AI(related concepts and the whole 9 yards) to start reading papers in the field?…

Questions in Epp are by no means unique. If you search MSE, you'll see that every question in Epp has probably been asked and reasked about a thousand times each. That goes for sub…

To start from absolute zero, check out Suzanna Epp's Discrete Math[0]. I believe even a motivated high school student could get started with it and even finish it. If your proof-wr…

Any one know any books or resources that concentrate on invariant programming? Translating recursive code into properly tail recursive or iterative code can be pretty difficult.

In this video[0] Van Roy claims that the function Three "resolves" to 3. It's at around 8:45 minute. I tried working that out, but can't seem to get it correct. What I tried {Inc {…

I am reading CTM by Van Roy/Haridi and watching Van Roy's edx vids. Very nice explanations that require a lot of filling in the holes. If someone else is familiar with Oz/Van Roy s…