[ 3 / biz / cgl / ck / diy / fa / ic / jp / lit / sci / vr / vt ] [ index / top / reports ] [ become a patron ] [ status ]
2023-11: Warosu is now out of extended maintenance.

/sci/ - Science & Math


View post   

File: 311 KB, 652x669, image.png [View same] [iqdb] [saucenao] [google]
8112324 No.8112324 [Reply] [Original]

Can somebody give me a good definition(not textbook) on the restrictions on instantiations and generalizations in predicate logic proofs?

>> No.8112422

>>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.

>> No.8112432

>>8112422
they arent, retard

>> No.8112454

>>8112422
They aren't real. They are either a joke or to make some obsessive guy mad.

>> No.8112924

>>8112432
>>8112454

>the image is literally non-existant

So mad

>> No.8113014

>>8112324
What is the best way to code that

>> No.8113026

>>8113014
While loop that adds a, b times.

>> No.8113030

>>8112924
How could the image be real if our eyes aren't real?

>> No.8113039

>>8113014
>>8113026

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

>> No.8113088

>>8113014

recursion ofc. this is often used to get students to use recursion. which is part of the joke that nobody seems to get.

>> No.8113093

>>8112422
>>8113026
>>8113030
>>8113039
>>8113088
Or, you know, you can just use logs like a non retard.

Welcome to /sci/ people

>> No.8113096

>>8113093

pls make a new image where the idiot student use logs instead. thats hilarious anon. nice one

>> No.8113108

>>8112324
>restrictions on instantiations and generalizations in predicate logic proofs
No. I don't even know what that means desu.

>> No.8113119

>>8112324

AI modern approach book has many chapter of predicative logic and first order logic. maybe you can use that

>> No.8113134

>>8113014
>>8113093

x=a/(1/b)

>> No.8113207

>>8113134
Division by zero

>> No.8113233

>>8112324
Come on, I know jack shit about coding but even that immediately struck me as retarded

>> No.8113253

>>8112324
I am a logician and I have no idea what you are trying to ask.

>> No.8113259
File: 77 KB, 694x801, image.png [View same] [iqdb] [saucenao] [google]
8113259

>>8112324
I hate this image. It should be "coders" in general.

>> No.8113263
File: 55 KB, 571x553, image.png [View same] [iqdb] [saucenao] [google]
8113263

>>8113259
Or "CS majors".