資料詳細

【図書】 計算モデルとプログラミング

猪股俊光／共著, 山田敬三／共著 -- 森北出版 -- ２０１９．４ -- ２２ｃｍ -- ２１２ｐ

タイトル	計算モデルとプログラミング
著者名等	猪股俊光／共著, 山田敬三／共著
出版	森北出版２０１９．４
大きさ等	２２ｃｍ２１２ｐ
分類	007.1
件名	オートマトン , プログラミング（コンピュータ）
注記	文献あり　索引あり
著者紹介	【猪股俊光】豊橋技術科学大学工学研究科システム情報工学専攻博士後期課程修了。工学博士。現在、岩手県立大学ソフトウェア情報学部教授。（本データはこの書籍が刊行された当時に掲載されていたものです）
要旨	様々な計算モデルを通して、プログラミング言語のメカニズムを解き明かす。
目次	第１章　計算の世界と計算モデル；第２章　抽象機械型計算モデル；第３章　命令型計算モデル；第４章　関数型計算モデル―帰納的関数；第５章　関数型計算モデル―ラムダ計算；第６章　論理型計算モデル；付録Ａ　数学の準備；付録Ｂ　チューリング機械シミュレータ；付録Ｃ　レジスタ機械シミュレータ
ISBN(13)、ISBN	978-4-627-85471-0　　 4-627-85471-4
書誌番号	1113684392
URL	https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1113684392

所蔵

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

所蔵館	所蔵場所	別置	請求記号	資料区分	状態	取扱	資料コード
中央	４階自然科学	情報科学	007.1	一般書	予約準備中	-	2064586133