構成的プログラミングの基礎

Author(s)

• 林, 晋 ハヤシ, ススム
• 小林, 聡 コバヤシ, サトシ

Bibliographic Information

構成的プログラミングの基礎

林晋, 小林聡共著

遊星社 , 星雲社 (発売), 1991.4

Title Transcription

コウセイテキ プログラミング ノ キソ

Note

参考文献: p[249]

Description and Table of Contents

Description

本書は、プログラミングの理論への論理学の応用の一例である構成的プログラミングの入門書である。

Table of Contents

• 数学的プログラミング言語
• プログラムの検証と構成的数学
• Ｆｅｆｅｒｍａｎの理論（形式的理論；意味論と応用）
• Ａｃｚｅｌの理論
• 証明の理論

by "BOOK database"

Details

• NCID: BN06246326
• ISBN:
  • 4795268673
• Country Code: ja
• Title Language Code: jpn
• Text Language Code: jpn
• Place of Publication: 東京,東京
• Pages/Volumes: 253p
• Size: 22cm
• Classification:
  • NDC8 : 007.64
  • NDC7 : 418.6
• Subject Headings:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング(電子計算機)