プログラミングの科学

情報処理シリーズ　１４
Ｔｈｅ　ｓｃｉｅｎｃｅ　ｏｆ　ｐｒｏｇｒａｍｍｉｎｇ．

培風館
デーヴィド・グリース　筧捷彦　

• 価格: 4,620円（本体4,200円＋税）
• 発行年月: 1991年01月
• 判型: Ａ５
• ISBN: 9784563007942

内容情報

[BOOKデータベースより]

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

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