計算機科学・情報科学の本

**名無しさん＠お腹いっぱい。** · 2006/10/13(金) 20:57:25

ないから立てた

**名無しさん＠お腹いっぱい。** · 2006/10/13(金) 23:41:50

Cambridge Tracts in Theoretical Computer Science ﾏﾝｾｰヽ(´ー`)ﾉ

**名無しさん＠お腹いっぱい。** · 2006/10/14(土) 09:50:55

>>2
あ、なんか俺と分野が似てそう。

**名無しさん＠お腹いっぱい。** · 2006/10/14(土) 14:59:40

Ｂ２ですが皆さんは学部卒までにどのような本を読みましたか？
教えて下さい

**名無しさん＠お腹いっぱい。** · 2006/10/14(土) 22:39:18

古典論理
直観主義論理
ラムダ計算
Curry-Howard isomorphism
ゲーデルの不完全性定理
帰納的関数論
Martin Loef type theory

あたりを。ほとんど B4 になってからですが。
それまではガロア理論とかルベーグ積分とかやってました。

**名無しさん＠お腹いっぱい。** · 2006/10/15(日) 12:34:17

コンパイラの入門書のおすすめはありますか？
いきなりドラゴンブックとか読めそうにないので…。

**名無しさん＠お腹いっぱい。** · 2006/10/15(日) 13:18:17

湯浅先生の本がいいんでないかい？

**名無しさん＠お腹いっぱい。** · 2006/10/15(日) 14:40:56

ありがとう。これっすね。探してみます。
http://www.amazon.co.jp/gp/product/4785620501/

**名無しさん＠お腹いっぱい。** · 2006/10/21(土) 00:24:19

数学ってどんなテキスト使ってた？

**名無しさん＠お腹いっぱい。** · 2006/10/22(日) 00:18:03

数学って離散数学のこと？

**情報学専門生徒** · 2006/10/27(金) 19:51:48

情報場の制御法はＩＴ（Intelkiget Technique）と言います。

**名無しさん＠お腹いっぱい。** · 2006/10/28(土) 20:19:28

>>10
そうです

**名無しさん＠お腹いっぱい。** · 2006/11/02(木) 00:30:44

>>10
離散数学とは限らんよ。

**名無しさん＠お腹いっぱい。** · 2006/11/04(土) 09:36:00

離散数学なら、これを持ってる。
http://www.amazon.co.jp/gp/product/4901683101

**名無しさん＠お腹いっぱい。** · 2006/11/17(金) 21:19:50

離散数学ならマグロウヒルのがいいんでない

**名無しさん＠お腹いっぱい。** · 2006/11/18(土) 01:45:06

CPUの創りかたは1年の頃に読みたかったな。入門書としては最適。

**名無しさん＠お腹いっぱい。** · 2006/11/19(日) 12:55:00

確率、代数、幾何でいい本を教えて下さい

**名無しさん＠お腹いっぱい。** · 2006/11/21(火) 22:02:34

それは数学板の範疇じゃないか