[ 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

Search:

View post   
>> No.15731585 [View]
File: 481 KB, 840x859, 3524342.png [View same] [iqdb] [saucenao] [google]
15731585

>>15731583
Thanks... y-you too.

>> No.14522521 [View]
File: 481 KB, 840x859, 3524342.png [View same] [iqdb] [saucenao] [google]
14522521

>>14521818
>i heckin' hate exercise
>just feed me more information

>> No.12283055 [View]
File: 482 KB, 840x859, ck-food-cooking-png-wojak-fat-crying-crying-feels-guy-computer-115629227256sys3v03gs.png [View same] [iqdb] [saucenao] [google]
12283055

>>12281761
>NOOOOOO I CAN'T BE BOTHERED TO BACK UP MY ARGUMENTS BECAUSE IT'S OPPRESSIVE NOOOOOOOO

>> No.11719073 [View]
File: 482 KB, 840x859, wojafat.png [View same] [iqdb] [saucenao] [google]
11719073

>>11718961
the books i'm reading right now have like 15 exercises per chapter, that's too little for my taste, i remember when i was studying math in college they gave us a shitton of exercises every week for all courses.
i can get the books from libgen, i can get the lectures from the MIT page, but where do i look for more exercises/problems/tests ?

>> No.11703187 [View]
File: 482 KB, 840x859, wojafat.png [View same] [iqdb] [saucenao] [google]
11703187

i always wondered why isn't there a bigger community of mathematicians using/improving coq, the shit is plenty of bugs even though it should be (in theory) the future of the art of doing maths.

why do mathematicians love writing in paper so much? is it because they are afraid of computers? is it because they are way too stupid to use proof assistants? is it because they think they're "too smart" to use some kind of "assistant" ? fucking morons

Navigation
View posts[+24][+48][+96]