資料詳細

【図書】 計算論入門

計算の基本原理理解のために --
渡辺治／著, 米崎直樹／著 -- 日本評論社 -- １９９７．０３ -- ２１ｃｍ -- ２１１ｐ

タイトル	計算論入門
副書名	計算の基本原理理解のために
著者名等	渡辺治／著, 米崎直樹／著
出版	日本評論社１９９７．０３
大きさ等	２１ｃｍ２１１ｐ
分類	410.9
件名	数学基礎論
内容	参考文献について：ｐ２０６～２０７
要旨	計算可能性の理論の先駆者たちの提唱した定義は、見た目にはまったく異なるものだった。本書では、そのうちの代表的な３つの表現、すなわち、計算の機械的な表現、帰納的関数による計算の表現、そしてラムダ計算による計算の表現、について述べる。これら３つの異なる観点で計算を表現し、その特徴を認識する。
目次	１　プログラムによる計算の表現；２　チューリング機械による計算の表現；３　帰納的関数による計算の表現；４　ラムダ計算による計算の表現；５　並列・並行・分散計算の表現
ISBN(13)、ISBN	4-535-78240-7
書誌番号	1197012715
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1197012715

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学 Map		410.9	一般書	利用可	-	2010696170