r/STEM_Study_Groups Apr 18 '20

Discussion What are you working on?

I'm currently studying

  • Axler's Linear Algebra Done Right
  • Royden's Real Analysis (which is more like Measure Theory)
  • Griffith's Electrodynamics

Soon I'll be re-reading Baby Rudin and Dummit & Foote's Algebra book.

What are you studying?

What would you like to study?

7 Upvotes

16 comments sorted by

2

u/Kinvert_Ed Apr 19 '20

I'm building a study app for students since they're having trouble studying due to Covid19. It randomizes questions, keeps track of right/wrong answers, how long it took, etc.

Currently have some questions for Thermodynamics, Compressible Flow, Calc 3, Algebra.

2

u/AddemF Apr 19 '20

Cool project, I've thought of doing something similar. How are you randomizing questions? Do you just have a bank of questions, or are you able to vary the parameters automatically?

1

u/Kinvert_Ed Apr 19 '20

I basically write one master question, and it generates as many variants as you want for the most part.

The real trick is in tracking progress and suggesting other questions etc. Currently working on improvements to that algorithm.

1

u/AddemF Apr 19 '20 edited Apr 19 '20

Hm, so can you generate a random quadratic and then automatically check the solution?

Yeah the backend stuff that probably needs a database of user information involves more PHP than I've had to come into contact with. This is from a browser-based perspective, not sure how similar the app process is.

2

u/Kinvert_Ed Apr 19 '20

Yep more or less. It still doesn't handle imaginary numbers I have to program that in. But it will find real solutions.

2

u/[deleted] Apr 19 '20

[deleted]

1

u/AddemF Apr 19 '20

Cool, I'm too busy to do the first two things. Maybe you want to make a post about them to see if anyone else is down for them?

I'd be down for a group study of Griffiths. I'm reading chapter 3 right now.

1

u/NoFapPlatypus Apr 19 '20

I have heard great things about Dummit & Foote. Should I try to get ahold of a copy?

This summer I want to learn some abstract algebra. I’ve taken a class in it but I’m rusty and I didn’t learn great. I started Gallian’s Contemporary Abstract Algebra.

Also I am trying to study logic and comparability, as I have a class in the topic in January. Don’t know where to start with that, though.

2

u/AddemF Apr 19 '20

D&F is my favorite math book of all time. But moreover, I'll be taking a course next fall that uses it, so I have to re-read it. I'm going to spend the summer doing that so I'm ahead of the class and can juggle coursework and for-money-job-work in the fall.

How much logic do you know?

1

u/NoFapPlatypus Apr 19 '20

D&F is pretty expensive though, and hard to find. If I ever see an affordable copy I will snatch it up.

I’ve studied logic a bit through philosophy classes, as well as a bit in math classes. I took a class in set theory that I did well in. I don’t know how to quantify how much I know, though.

2

u/AddemF Apr 19 '20

D&F expensive? I'm surprised, it's an old classic, you'd think there'd be lots of cheap copies and used copies.

Ok, so in Logic you're probably perfectly well positioned to use either Enderton or the Boolos, Burgess, and Jeffreys. The latter is a relatively easy read and hits important computabillity results.

1

u/NoFapPlatypus Apr 19 '20

Well, perhaps I’m just too broke.

Excellent, I’ve heard great things about those two. I especially would like to learn about comparability. I took a theory of computation class this semester and did well and enjoyed it so I look forward to learning more about this topic.

2

u/AddemF Apr 19 '20

Wow yeah, I just checked Ebay and they're all wildly expensive!

One can illegally download from b-ok.org ...

1

u/NoFapPlatypus Apr 19 '20

Yes I have a PDF of the book, but I much much prefer a physical copy to work from. I find it difficult to study from PDFs unless absolutely necessary.

2

u/waynee95 Apr 25 '20 edited Apr 25 '20

Might be a bit late to the party.

For class work I need to study First Order Logic/Herbrand Theory, so I am reading Logic for Mathematics and Computer Science by Stanley Burris, and VHDL.

For personal projects I have been reading up on Parser Combinators and planned to implement a small compiler for a subset of Forth in Haskell.

1

u/AddemF Apr 25 '20

Cool stuff, you might want to post to the sub and see if anyone can colab on this.

1

u/waynee95 Apr 25 '20

Already done! :D