計算論入門の通販ならネットオフ！

計算可能性の理論の先駆者たちの提唱した定義は、見た目にはまったく異なるものだった。本書では、そのうちの代表的な３つの表現、すなわち、計算の機械的な表現、帰納的関数による計算の表現、そしてラムダ計算による計算の表現、について述べる。これら３つの異なる観点で計算を表現し、その特徴を認識する。

目次 ：１　プログラムによる計算の表現；２　チューリング機械による計算の表現；３　帰納的関数による計算の表現；４　ラムダ計算による計算の表現；５　並列・並行・分散計算の表現

・古本・中古本 ＞ 産業本 ・学術書・歴史本 ＞ 数学・物理・化学 ＞ 数学

・古本・中古本 ＞ 産業本 ・学術書・歴史本 ＞ 数学・物理・化学 ＞ 作家 や行 ＞ 米崎直樹

・古本・中古本の人気ランキングから探す

・産業本 ・学術書・歴史本の人気ランキングから探す

・人気 書籍作家ランキングから探す

買取 宅配買取 ＞古本・中古本の高価買取情報 ＞産業本 ・学術書・歴史本の高価買取情報