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

著者

書誌事項

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

林晋, 小林聡共著

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

タイトル読み

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

大学図書館所蔵 件 / 全78件

この図書・雑誌をさがす

注記

参考文献: p[249]

内容説明・目次

内容説明

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

目次

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

「BOOKデータベース」 より

詳細情報

ページトップへ