We respect your right to privacy. You can choose not to allow some types of cookies. Your cookie preferences will apply across our website.
Can somebody give me a good definition(not textbook) on the restrictions on instantiations and generalizations in predicate logic proofs?
>>8112324
I love these programming images. How the fuck is this real? She even had the right idea, just put it in a fucking for loop.
>>8112422
they arent, retard
>>8112422
They aren't real. They are either a joke or to make some obsessive guy mad.
>>8112324
What is the best way to code that
>>8113014
While loop that adds a, b times.
>>8112924
How could the image be real if our eyes aren't real?
>>8113014
recursion ofc. this is often used to get students to use recursion. which is part of the joke that nobody seems to get.
>>8113093
pls make a new image where the idiot student use logs instead. thats hilarious anon. nice one
>>8112324
>restrictions on instantiations and generalizations in predicate logic proofs
No. I don't even know what that means desu.
>>8112324
AI modern approach book has many chapter of predicative logic and first order logic. maybe you can use that
>>8113134
Division by zero
>>8112324
Come on, I know jack shit about coding but even that immediately struck me as retarded
>>8112324
I am a logician and I have no idea what you are trying to ask.
>>8112324
I hate this image. It should be "coders" in general.
>>8113259
Or "CS majors".