Customize your cookie preferences

We respect your right to privacy. You can choose not to allow some types of cookies. Your cookie preferences will apply across our website.

We use cookies on our site to enhance your user experience, provide personalized content, and analyze our traffic.

[Boards: 3 / a / aco / adv / an / asp / b / biz / c / cgl / ck / cm / co / d / diy / e / fa / fit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mu / n / news / o / out / p / po / pol / qa / r / r9k / s / s4s / sci / soc / sp / t / tg / toy / trash / trv / tv / u / v / vg / vp / vr / w / wg / wsg / wsr / x / y ] [Home]
4chanarchives logo
Can somebody give me a good definition(not textbook) on the restrictions

You are currently reading a thread in /sci/ - Science & Math

Thread replies: 20
Thread images: 3
File: image.png (311 KB, 652x669) Image search: [Google]
image.png
311 KB, 652x669
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.
>>
>>8112432
>>8112454

>the image is literally non-existant

So 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
>>8113026

int x = -5000;
while(x < a*b)
x++;
return x;
>>
>>8113014

recursion ofc. this is often used to get students to use recursion. which is part of the joke that nobody seems to get.
>>
>>8112422
>>8113026
>>8113030
>>8113039
>>8113088
Or, you know, you can just use logs like a non retard.

Welcome to /sci/ people
>>
>>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
>>
>>8113014
>>8113093

x=a/(1/b)
>>
>>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.
>>
File: image.png (77 KB, 694x801) Image search: [Google]
image.png
77 KB, 694x801
>>8112324
I hate this image. It should be "coders" in general.
>>
File: image.png (55 KB, 571x553) Image search: [Google]
image.png
55 KB, 571x553
>>8113259
Or "CS majors".
Thread replies: 20
Thread images: 3

[Boards: 3 / a / aco / adv / an / asp / b / biz / c / cgl / ck / cm / co / d / diy / e / fa / fit / g / gd / gif / h / hc / his / hm / hr / i / ic / int / jp / k / lgbt / lit / m / mlp / mu / n / news / o / out / p / po / pol / qa / r / r9k / s / s4s / sci / soc / sp / t / tg / toy / trash / trv / tv / u / v / vg / vp / vr / w / wg / wsg / wsr / x / y] [Home]

All trademarks and copyrights on this page are owned by their respective parties. Images uploaded are the responsibility of the Poster. Comments are owned by the Poster.
If a post contains personal/copyrighted/illegal content you can contact me at imagescucc@gmail.com with that post and thread number and it will be removed as soon as possible.
If a post contains illegal content, please click on its [Report] button and follow the instructions.
This is a 4chan archive - all of the content originated from them. If you need information for a Poster - you need to contact them.
This website shows only archived content and is not affiliated with 4chan in any way.
If you like this website please support us by donating with Bitcoin at 1XVgDnu36zCj97gLdeSwHMdiJaBkqhtMK