資料詳細

【図書】 コンピュータと数学

現代基礎数学 --
高橋正子／著 -- 朝倉書店 -- ２０１６．５ -- ２１ｃｍ -- １５６ｐ

タイトル	コンピュータと数学
シリーズ名	現代基礎数学
著者名等	高橋正子／著
出版	朝倉書店２０１６．５
大きさ等	２１ｃｍ１５６ｐ
分類	007.63
件名	プログラミング（コンピュータ） , 数学基礎論
注記	文献あり　索引あり
著者紹介	１９３９年東京都に生まれる　１９７２年ペンシルベニア大学博士課程修了　現在東京工業大学名誉教授　Ｐｈ．Ｄ．　主著『計算論―計算可能性とラムダ計算―』（近代科学社，１９９１年）（本データはこの書籍が刊行された当時に掲載されていたものです）
目次	１　簡単なプログラムによる計算の表現；２　初等関数とＮプログラム；３　原始再帰的関数と再帰的関数；４　万能関数と再帰定理；５　原始再帰的関数の階層｛Ｆｊ｝；６　ｌｏｏｐプログラムと階層｛Ｆｊ｝
ISBN(13)、ISBN	978-4-254-11752-3　　 4-254-11752-3
書誌番号	1113380447

所蔵

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

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