close
1.

図書

東工大
目次DB
図書
東工大
目次DB
1. 計算論入門 : 計算の基本原理理解のために. 第2刷
渡辺治, 米崎直樹著
出版情報: 東京 : 日本評論社, 2001.4  v, 211p ; 21cm
所蔵情報: loading…
目次情報: 続きを見る
1　プログラムによる計算の表現 1
   1.1　簡易プログラミング言語「Sプログラム」入門 1
   1.2　データのコード化 : 2進コード 5
   1.3　標準形SプログラムとSプログラムのコード化 8
   1.4　Sプログラム計算可能性 14
   1.5　while文とfor-times文 22
   ティータイム 34
2　チューリング機械による計算の表現 36
   2.1　チューリング機械入門 36
   2.2　データのコード化 : 2進コード 47
   2.3　チューリング機械のプログラミング・テクニック 51
   2.4　チューリング機械計算可能性 65
3　帰納的関数による計算の表現 73
   3.1　原始帰納的関数・帰納的関数入門 73
   3.2　原始帰納的関数のプログラミング・テクニック 78
   3.3　データのコード化 : ゲーデル数 82
   3.4　帰納的 vs. プログラム計算可能性 89
   3.5　帰納的 vs. チューリング機械計算可能性 98
   3.6　原始帰納的関数と帰納的関数 109
   ティータイム 114
4　ラムダ計算による計算の表現 116
   4.1　λ－式・λ－計算入門 116
   4.2　λ－計算による計算可能性 127
   ティータイム 138
5　並列・並行・分散計算の表現 140
   5.1　並列・並行・分散計算のための記述法概観 141
   5.2　論理回路 : 並列計算の効率解析のために 151
   5.3　ペトリネット : 並行計算の設計・解析のために 169
   ティータイム 186
練習問題の解説 188
参考文献 206
索引 208
1　プログラムによる計算の表現 1
   1.1　簡易プログラミング言語「Sプログラム」入門 1
   1.2　データのコード化 : 2進コード 5
2.

図書
図書
2. 計算論入門 : 計算の基本原理理解のために
渡辺治, 米崎直樹著
出版情報: 東京 : 日本評論社, 1997.3  v, 211p ; 21cm
所蔵情報: loading…
文献の複写および貸借の依頼を行う
 文献複写・貸借依頼