Can we have math general? What are you working on? What book

>>>/sci/

I can count to potato

>>59470718
>/g/ isn't about math, tech and programming anymore

sounds about right
>>59470737
XDDDDDDD

>>59470712
You're in luck OP. Not only do we have a general for math, we have an entire board for it. It's called >>>/sci

>>59470755
>/g/ - Technology

Currently reading through http://www-math.mit.edu/~djk/calculus_beginners/index.html so I can do Introduction to Algorithms.

>>59470718
>>59470760
Considering the image in the OP, he's probably referring to math as it relates to CS and programming, which is /g/-related.

>>59470760
/g/ is about programming, programming derived from math.
Functional programming has a lot of math.

CS math is bullied on /sci/
CS math is bullied on /g/ because webdev edgelords can not handle it.

>>59470811
if only there was math taught by cute anime girls

>>59470718
You see I was agreeing with you but then I remembered we have discussions about the repercussions the elections would have on the privacy of the Internet, which is very much not /g/ related so...

>>59470712
calculus for dummies desu, lol

i was using this android app Mathspace and I really liked it but of course they wanted like 10 bucks a week, wtf or 100 a year

fuck that shit. wish i could just find a good all around app or website to take me from algebra to the advanced shit

I'm studying category theory and how it relates to functional programming.

Conceptions mathematics is a great intro book.

Bartosz Milewski has the best videos I've came across as he relates category theory specifically to programming applications.

I like oregons summer program, they have good videos on category theory too.

OP glad you made this thread

>>59470712
>summation sign
>programming/technology
you don't belong here, newfriend

I'm reading Trefethen's numerical linear algebra book.

Shit's hard.

>>59470712
>math general
>>>sci

>>59470712
shut up mathematics shill

How do into math? I dont care about a degree, i just want to know the math

>>59471081
>wish i could just find a good all around app or website to take me from algebra to the advanced shit

>>59472131
forgot to add
>this

>>59471081
>>>/t/734712

Just download the math books in that torrent senpai. Then copy them to you're phone and read on the go.

>>59472143
your*

There was really good math repo with readme on step by step book reading but its supended now

anybody has readme.md?

https://github.com/B3nszy/The-Math-Group

>>59472274
interested in this as well

>>59470712
Number theory at my college
Mostly modular mathematics and its application to encryption

Currently reading the book in the OP. I just started, I'm in chapter 2, and it's really fun. I like it because it's simple enough to follow along (although sometimes I have to stop for a little while) and it shows the process of discovery in mathematics.
Some of the excercises though, are HARD

>>59470811
>CS math is bullied on /g/ because webdev edgelords can not handle it.
This so hard.

>/g/ is about programming
this you got wrong, /g/ is a consumer tech review and support board for /v/

>>59471143
conceptual mathematics**
im only a few "sessions" deep and have found it to be very gently paced... so much so that i might jump ship and read the first few chapters of goldblatt
that said, i really appreciate its accessibility... if only colleges (or high schools for that matter) could work it into their curricula. but such is the way with so many books that will only ever be enjoyed by the fortunate auto-didacts and perhaps private school students that happen upon them... public funding is a double edged sword, but i digress.

what did you find were the pre-req's for the oregon summer school lectures?
on the site it seems to expect a lot of exposure to programming language theory among other things...


im doing a remedial/refresher reading of peter smiths introduction to formal logic. ill follow that with goldrei and perhaps a few others in his teach yourself logic guide. epps very gentle discrete math alongside a few theorem-proof-corollary type dover books. occasional readings of sipser alongside epstein and carnielli keep me from getting bored.

my overall trajectory is aimed at computability, deviant/fuzzy logics, metaphysics, decision theory, other ai flavored fun stuffs, philosophy intersect computer science etc.
basically topics from the miri reading list :^)

>>59472972
I typed it on mobile and didn't want to bother deleting the comment, waiting to repost, and then clicking the captchas. But I figured a quick google search would fix any confusions for those not familiar with the book.

I agree. The book is great for a very motivated high school student. Category theory could be taught much, much earlier.

If you found Conceptional Mathematics slow pace, then Epps may be a bit of a bore for you. Rosen is a step above Epp (Epp is very good for those new to mathematics/proofs though) and I suspect pic in OP is also rigorous since Knuth's name is associated to it.

Oregon's lectures are hard to follow if you don't already have a background in PLT. I think the category theory videos are the easiest to follow though, the ones I saw seem to follow: https://www.amazon.com/Category-Theory-Oxford-Logic-Guides/dp/0199237182

I still standby the opinion that Bartosz Milewski has the most accessible lecture videos to Category theory. His pacing is much slower than Oregon's lectures (but Oregon's lectures are condensed due to it being a summer program).

>>59472972
A computability theory classic is Boolos' (3rd edition) and relevant chapters from Sipser are good. I'd also recommend https://www.amazon.com/Computability-Theory-Student-Mathematical-Library/dp/082187392X but haven't really checked that one out yet.

Boolos' exposure to computability is my favorite.

What books would guys recommend for getting started with proofs?

>>59474152
EECS 70

File: 2017-03-19-182608_1920x1080_scrot.png (317KB, 1920x1080px) Image search: [Google]

317KB, 1920x1080px

>>59470712
>What proofs are you doing?
Baby's first math course
>tfw can't be bothered to fix my awful font rendering

>>59470809
>CS and programming are /g/

No. /g/ now is smart phones, Terry Davis and GNU/autism

Been trying to establish equivalence between two ABNF grammars in Isabelle/HOL. Not going too well because I'm really not used to thinking in this way (guessing what's causing something to not be automatically provable is unintuitive)

I have bought concrete math but i can't just fucking start to learn it

>>59472094
what's your current knowledge level?

mit 18.06

good shit

>>59470712

who /babby rudin/ here?

File: math.jpg (774KB, 1300x2300px) Image search: [Google]

774KB, 1300x2300px

;^)

File: solve_2.jpg (234KB, 1280x720px) Image search: [Google]

234KB, 1280x720px

>>59470881
Soon my friend. Very soon.

Is is necessary to master calculus to learn ML? I'm familiar with basic differentiation and integration. Is that enough?

>>59476507
>not reading papa rudin directly

>>59476532
>not linear algebra by kunze

>>59476507
I did that as an undergrad, of course

Studying stability and QM right now

>>59476608
lmao

File: image[1].jpg (24KB, 400x267px) Image search: [Google]

24KB, 400x267px

who /unemployedmathmajor/ here?

>>59476868
Me soon

going through euclid's elements, its very beautiful

>>59476868
>>59476923
Get a quant job, easy high six figure a year

>>59474152
Epp discrete math

File: segedwick.png (73KB, 188x268px) Image search: [Google]

73KB, 188x268px

opinions?

>>59470718
>>59470760
>math
>science
Are you stupid?

Finishing up Gödel, Escher, Bach and loving it

Could anyone recommend books like it? It was my first non-school related math book

>>59470712
Math is stupid
I hate it

>>59470755
bullshit
>>59470764
this

Vaping threads are insta-banned but math is a okay? Cancer

>>59470712
>>>/sci/
> >>>/sci/
>>>/sci/
> >>>/sci/
>>>/sci/
> >>>/sci/
>>>/sci/
> >>>/sci/

>>59470712
Anyone else studing Theory of Computation? Computability in particular?

>>59478400

Applied science, motherfucker.

>>59470718
Not /sci/.
You can see how much sci gives a fuck about mathematics by the complete lack of filtered and selected literature and resources that should encompass the subject on their wiki.

Hell, you can ask for math books there and
nobody will provide and instead point to a wiki,
unaware that the wiki lacks it.
That should explain a few things for you.

>>59480659
t. retard

>>59472964
bullied on /g/ because they are too stupid to understand it

bullied on /sci/ because that shit is too easy

>>59480659
Nice b8

File: [Asenshi] Amanchu! - 03 [57C8F1BC].mkv_snapshot_07.12_[2016.07.27_18.36.48].png (4MB, 1920x1080px) Image search: [Google]

4MB, 1920x1080px

>>59470712
>>/sci/8761147

>>59482286
You are missing one arrow you dumb retard.

File: 9xeCZr8HrD4.jpg (123KB, 836x726px) Image search: [Google]

123KB, 836x726px

>>59482484
FUCK

People call me reddit, because I spacing and as far as I remember spacing long post wast always a thing on non edgeboards like /b/, looks like retards flooded everyboard
/g/ sends me to /sci/ because I want to discuss discrete math.

4chin did not handle its own popularity

Somebody nuke this place

Somebody could advice some books/path

I am doing Discrete math by epp atm + cormen algorithms.

I am self taught and just want to dig deeper.

File: test (2).png (716KB, 811x599px) Image search: [Google]

716KB, 811x599px

>>59483390
Learn some QM and then get started on this

File: 51Rp87jNxwL._SX333_BO1,204,203,200_.jpg (48KB, 335x499px) Image search: [Google]

48KB, 335x499px

>>59470712
working through this bitch

>>59484259
I thought that TAOCP is more like repository/wiki.

>>59472143
I have such a strong urge to download all of this, "mega pack" type torrents filled with information I can't hope to absorb within my lifetime are like a fucking fetish for me.

>>59478400
>/sci/ - math and science

bumperino

I wonder if mathfags are per definition better at compsci than 'pure' compscifags without formal math background.

After all I've read/learned (3rd year student) I think math students should have the edge regarding understand new materials and algorithms and proofs, while csfags are generally better programmers (not like that's hard anyway).

if my assertion is right, that mathematicians produce better cs fags, then why isn't the curriculum much more math heavy (i know curriculi vary per uni).

I dont know why ppl get into compsci when they dont like math.

File: 1489171741715_1.jpg (25KB, 320x479px) Image search: [Google]

25KB, 320x479px

>>59470712
>>>/sci/ you fucking moron

It's LITERALLY the math science board. Jesus Christ.

>>59487033
>I wonder if mathfags are per definition better at compsci than 'pure' compscifags without formal math background.

yes they are, thats why there is so many good programmers with phd in math or physic.

You have to understand that CS derive from math.

Everything in CS is based on math at the bottom.

Sure you do not have to know any math to code webfroms in java because there are several layers of abstraction over math that is at the bottom.

For example, if you know math and you will decide to focus on cs related field like networks you will understand math behind routing protocols and this knowledge will allow you to be one of top.

Thats why the best companies you have to solve math related and algos stuff.

You do not have to know everything but if you are good at math it means that you are capable to learn anything in cs in short time.

Mathfags can just easily learn cs related stuff with few evenings.

read also:

>>59410210
>>59410220

LMAO
>The worst thing however are the people going for such a degree. Out of all degrees CS seems to attract the most anti-intellectual scum. I seriously wonder how these people even managed to enter university. Every retard who barely passed high school and spends most of his day playing video games seems to think the must study CS. There are socially inept neckbeards of the retarded variety, hating and repeatedly failing math as well as the most simple programming assignments.

>>59487033
>if my assertion is right, that mathematicians produce better cs fags, then why isn't the curriculum much more math heavy (i know curriculi vary per uni).
>I dont know why ppl get into compsci when they dont like math.

Majority of cs students are:
>neckbeards from /v/ that wasted their whole life on playing games and its was obvious step to start cs because they are good at "pc"
>people who want to be codemonkeys

>>59487033
>if my assertion is right, that mathematicians produce better cs fags, then why isn't the curriculum much more math heavy (i know curriculi vary per uni).

The full path would be, to do maths as a foundation (say 3-year course), and then specialise on a subset of maths, like cs, for an extra 2 years.

For time economy though, there exist deprecate CS courses, that cover the bare minimum of maths and CS, in 3 years combined.

>TL;DR mathfags are better at CS, not because they're smarter, but because they've spent more time studying it

>>59487866
>deprecate CS courses
*separate

Freudian slip

>>59470718
>Computer science isn't technology

>>59470712
Trying to take the derivative of the loss function related to the negative logarithm of softmax probability for ml class but I can't because I'm retarded.

>>59471081
>or website to take me from algebra to the advanced shit
Try Khanacademy.

>>59489335
Not him but I tried khan academy years ago and had a really hard time following the lecture. I need to learn calculus to do anything really fun programming-wise, however.

Can anyone vouch for it? Is their Android app any good?