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

著者

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

書誌事項

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

林晋, 小林聡共著

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

タイトル読み

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

電子リソースにアクセスする 全1件

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

  1991

  NDLデジタルコレクション

  限定公開

注記

参考文献: p[249]

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

• NII書誌ID(NCID): BN06246326
• ISBN:
  • 4795268673
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京,東京
• ページ数/冊数: 253p
• 大きさ: 22cm
• 分類:
  • NDC8 : 007.64
  • NDC7 : 418.6
• 件名:
  • BSH : 電子計算機 -- プログラミング
  • NDLSH : プログラミング(電子計算機)