[ 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: 384 KB, 1024x768, .png [View same] [iqdb] [saucenao] [google]
7032081 No.7032081 [Reply] [Original]

Let's make a /sci/ CS literature list.

Suggestions:
>Sipser Theory of Computation
>Knuth Concrete Math
>CLRS
>Norvig AI
>SICP
>K&R
>Tanenbaum Modern OSes

>> No.7032147

Types and Programming Languages

>> No.7032360

Compilers: Principles, Techniques, and Tools
Introduction to Algorithms
C Primer Plus

>> No.7032405

Is SICP really a good text for beginners?

I'd like to get into CS for the theory so I can understand the foundations and then programming (or at the same time). I just don't want to learn programming and not understand why it works and shit.

>> No.7032418

>>7032405
Yeah they used to use it at MIT's undergrad CS programme.
https://www.youtube.com/watch?v=2Op3QLzMgSY&list=PLD681CA61E64C1C13&index=1

>> No.7032432

>>7032405
SICP is good for beginners but it helps to have a nice math background, also there's exercises in the book that are hard as fuck.

>> No.7032442

Christopher Alexander's The Timeless Way of Building

i've been programming since the age of 14, and i still feel like i suck at it, no matter what books i read.

someone please hug me.

>> No.7032526

>>7032442
Code instead of reading books and see what happens.

>> No.7032625

>>7032081
>Let's make a /sci/ CS literature list.

One already exist:
http://archive.foolz.us/sci/thread/6250709/#6251699
http://archive.foolz.us/sci/thread/6250709/#6251734

>> No.7032676

>be me
>browse /g/
>buy SICP

now i have SICP. doesn't mean I've actually done jack shit about studying it.

inb4 nice blog

>> No.7032679

HTDP anyone?

>> No.7032683

>studying compsci unironically

>> No.7032773

>>7032683
What's wrong with it?

>> No.7032785

>>7032773
it's not a real science or math it's for retards that watch anime and post on /g/

>> No.7032841

>>7032785
>>7032683

I can sense you have a very bright future ahead of you.

>> No.7032849
File: 17 KB, 325x217, man-crying.jpg [View same] [iqdb] [saucenao] [google]
7032849

>tfw zero programming knowledge
>buy arduino to force myself to learn
>brick wall

I don't think ill ever learn to code

>> No.7032857

>>7032849
It's okay. You can do other things.
What are you good at? (you are not allowed to say nothing)

>> No.7032908

>>7032849
brick wall cause you forced yourself. congrats. try a philosophy book next. specifically, something on epistemology.

>> No.7033499
File: 449 KB, 354x1007, miyako_yuno_do_word_problems.png [View same] [iqdb] [saucenao] [google]
7033499

>>7032081
Jewels of Formal Language Theory by Salomaa

>> No.7033521

>>7032081
Sipser is a pretty popular book for an intro to formal languages and computability. I supplemented it with these notes

http://math.tut.fi/~ruohonen/FL.pdf

I'm currently working through this book
http://www.amazon.com/Computability-Complexity-Languages-Second-Edition/dp/0122063821

I welcome any recommendations for books/notes on type theory (not just lambda calculus, but that would be cool too). Any good books on computable mathematics are appreciated as well (finding approachable stuff on topics like computable analysis seems difficult).

>> No.7033573

>>7032405
It's used for one of the intro CS classes at Caltech.

>> No.7033768

>>7033521
on types: start with harper; pratical foundations for programming languages for a good intro/overview.
then TAPL/ATAPL by pierce

>> No.7034027 [DELETED] 

Landau's Course of Theoretical Physics.

>> No.7034039
File: 464 KB, 1131x1600, Functional.jpg [View same] [iqdb] [saucenao] [google]
7034039

>>7032081

Concepts and modeling techniques of computer programming

>> No.7034049

serway and stewart. god tier of physics and math

>> No.7034248
File: 4 KB, 111x140, wood.jpg [View same] [iqdb] [saucenao] [google]
7034248

Theory of Computation by Wood.

>> No.7034322

>>7032676
nice blog

>> No.7034326

>>7034248
Why is it better than Sipser?

>> No.7034343

>>7034326
Its not, Sipser is hands down one of the best textbooks I have ever encountered. Not for reference, but for actual learning.

>> No.7034352

>>7032405
You're in luck because SICP is more of a math book than a programming book!

>> No.7034684

The Little Schemer is absolutely wonderful. Even if it's a bit easy it's still a fun read and I got a few projects to play with on the side out of it.

>> No.7035270

>>7033768
Thanks anon! your suggestion is much appreciated.

>> No.7035440

>>7032849
I..I can help u anon. I can help u turn on Leds and make noises with your arduino

>> No.7035589
File: 133 KB, 800x618, bored.jpg [View same] [iqdb] [saucenao] [google]
7035589

>>7032081
Oh look, a weeaboo code monkey. Surprise surprise.

>> No.7035626
File: 13 KB, 453x500, 1419107285856.jpg [View same] [iqdb] [saucenao] [google]
7035626

>>7035589
halarious post. well meme'd, friend

>> No.7036904

>Code: the hidden language of computer hardware and software
by Charles Petzold
>Hacking the art of exploitation
I know, I know, 1337 sh1t, but it's actually a great book, real good stuff for C programmers
>Expert C: Deep C secrets
by Van Der Linden
>Operating system concepts
>Escher Godel Bach