プログラミングの科学

Author(s)

• Gries, David
• 筧, 捷彦 カケイ, カツヒコ

Bibliographic Information

プログラミングの科学

D.グリース著 ; 筧捷彦訳

（情報処理シリーズ, 14）

培風館, 1991.1

Other Title

The science of programming

Title Transcription

プログラミング ノ カガク

Access to Electronic Resource 1 items

• プログラミングの科学

  1991

  NDL Digital Collections

  Limited

Note

参考文献: p355-357

Description and Table of Contents

Description

本書は、プログラミングを技法としてではなくさらに一歩進んで、理論や原理に基づく科学の一学問として扱った入門書である。

Table of Contents

• 第０部　なぜ数理論理を使うのか、なぜ算譜を証明するのか
• 第１部　命題と述語（恒等変形による推論；自然演繹体系；配列に対する記法と規約；算譜の文書化と主張　ほか）
• 第２部　小言語の意味（述語変換子ｗｐ；ｓｋｉｐ指令、ａｂｏｒｔ指令、指令の合成；代入指令；選択指令；反復指令；手続き呼出し）
• 第３部　算譜の開発（目的指向型の活動としての作譜；不変条件の開発；限度関数について；再帰に代えて繰返しを使う；効率の考慮；大きな算譜の開発例；算譜の逆転；文書化について；歴史的背景　ほか）

by "BOOK database"

Details

• NCID: BN05839038
• ISBN:
  • 4563007943
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Original Language Code: eng
• Place of Publication: 東京
• Pages/Volumes: xiv, 365p
• Size: 22cm
• Classification:
  • NDC8 : 007.64
  • NDC7 : 418.6
• Subject Headings:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング(電子計算機)
• Parent Bibliography ID:
  • BN00086373