資料詳細

  • 1 件中、 1 件目

【図書】 プログラミングの科学

情報処理シリーズ --
Ｄ．グリース ／著, 筧捷彦 ／訳, 　   -- 培風館 -- １９９１．１ -- ２２ｃｍ -- ３６５ｐ

資料詳細

タイトル プログラミングの科学
シリーズ名 情報処理シリーズ
著者名等 Ｄ．グリース ／著, 筧捷彦 ／訳, 　  
出版 培風館 １９９１．１
大きさ等 ２２ｃｍ ３６５ｐ
分類 007.64
件名 プログラミング（電子計算機）
注記 Ｔｈｅ　ｓｃｉｅｎｃｅ　ｏｆ　ｐｒｏｇｒａｍｍｉｎｇ．／の翻訳
内容 参考文献：ｐ３５５～３５７
要旨 本書は、プログラミングを技法としてではなくさらに一歩進んで、理論や原理に基づく科学の一学問として扱った入門書である。
目次 第０部　なぜ数理論理を使うのか、なぜ算譜を証明するのか；第１部　命題と述語（恒等変形による推論；自然演繹体系；配列に対する記法と規約；算譜の文書化と主張　ほか）；第２部　小言語の意味（述語変換子ｗｐ；ｓｋｉｐ指令、ａｂｏｒｔ指令、指令の合成；代入指令；選択指令；反復指令；手続き呼出し）；第３部　算譜の開発（目的指向型の活動としての作譜；不変条件の開発；限度関数について；再帰に代えて繰返しを使う；効率の考慮；大きな算譜の開発例；算譜の逆転；文書化について；歴史的背景　ほか）
ISBN(13)、ISBN 　　 4-563-00794-3
書誌番号 1190391126
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190391126

ページの先頭へ

所蔵

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

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 007.6/4255 一般書 利用可 - 0004284879 iLisvirtual

ページの先頭へ