2025/05/14
資料の種別。 |
図書。
資料情報のコピー
|
書名。 |
計算モデル論入門(ケイサン/モデルロン/ニュウモン)。
|
副書名。 |
チューリング機械からラムダ計算へ(チューリング/キカイ/カラ/ラムダ/ケイサン/エ)。
|
著者名等。 |
井田/哲雄‖共著(イダ,テツオ)。
|
浜名/誠‖共著(ハマナ,マコト)。
|
出版者。 |
サイエンス社/東京。
|
出版年。 |
2006.8。
|
ページと大きさ。 |
4,125p/21cm。
|
シリーズ名。 |
Information Science & Engineering F5。
|
件名。 |
オートマトン。
|
分類。 |
NDC8 版:007.1。
|
NDC9 版:007.1。
|
NDC10版:007.1。
|
ISBN。 |
4-7819-1135-8。
|
価格。 |
¥1400。
|
タイトルコード。 |
1009910756732。
|
内容紹介。 |
多くの人が持っているパーソナル・コンピュータのソフトウェアで行われている多種多様な計算が、どのような原理に基づいて行われているのかを解説。計算の可能性の観点から、ラムダ計算の体系を整理し、述べていく。。
|
著者紹介。 |
1947年横浜生まれ。筑波大学大学院システム情報工学研究科教授。。
|
1971年東京生まれ。群馬大学工学部情報工学科助手。。
|
所蔵数。 |
館内でのみ利用可能な資料 。 |
貸出可能な資料。 |
貸出中の資料(割当または回送中含む) 。 |
予約件数(割当含む)。 |
- 所蔵数
- 1 冊
|
館内でのみ利用可能な資料
- 0 冊
|
- 貸出可能な資料。
- 1 冊
|
貸出中の資料(割当または回送中含む)
- 0 冊
|
- 予約件数(割当含む)
- 0 件
|
番号。 |
資料番号。 |
配架場所(配架案内)。 |
請求記号。 |
状態。 |
1。 |
- 資料番号:
- 007175920。
|
- 配架場所:
- E書庫(「書庫とりよせ」ボタンで申請し、カウンターでお受け取りください。)。
|
- 請求記号:
- 007.1/10081。
|
- 状態:
- 在庫。
|
このページのURL:https://www.library.pref.ishikawa.lg.jp/wo/opc_srh/srh_detail/1009910756732