計算論

タイトルと所在が表示されます

子書誌情報

所蔵情報

タイトルが類似している資料

1. 計算論. 改訂版
隈部正博著 , 放送大学教育振興会 , 2016

2. 計算論
隈部正博著 , 放送大学教育振興会 , 2010

3. 計算論 : 計算可能性とラムダ計算
高橋正子著 , 近代科学社 , 1991

詳細

1

2

3

4

5

6

7

8

9

10

11

12

1 図書計算機科学/ソフトウェア技術講座広瀬, 健(1935-) 共立出版	7 図書基礎数学 3 広瀬, 健(1935-) 放送大学教育振興会, 日本放送出版協会(発売)
2 図書論理広瀬, 健(1935-) 日本評論社	8 図書帰納的関数広瀬, 健(1935-) 共立出版
3 図書ソフトウェア評価技法 : 検査・検定・保守・コスト積算広瀬, 健(1935-) 共立出版	9 図書情報数学広瀬, 健(1935-) コロナ社
4 図書数学基礎論の応用広瀬, 健(1935-) 日本評論社	10 図書代数系 : 環・体・ガロア体・群・束広瀬, 健(1935-) 日本評論社
5 図書形式的モデルと意味論 Leeuwen, Jan van, 広瀬, 健(1935-) 丸善	11 図書数学の方法 : 直観的イメージから数学的対象へ広瀬, 健(1935-) 共立出版
6 図書数学的帰納法広瀬, 健(1935-) 教育出版	12 図書プログラミングによる計算可能性理論 Arbib, Michael A., 1940-, 甘利, 俊一(1936-), 金谷, 健一(1947-), 川端, 勉, Kfoury, A. J., Moll, Robert N. サイエンス社