構成的プログラミングの基礎
Author(s)
Bibliographic Information
構成的プログラミングの基礎
遊星社 , 星雲社 (発売), 1991.4
- Title Transcription
-
コウセイテキ プログラミング ノ キソ
Available at / 78 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p[249]
Description and Table of Contents
Description
本書は、プログラミングの理論への論理学の応用の一例である構成的プログラミングの入門書である。
Table of Contents
- 数学的プログラミング言語
- プログラムの検証と構成的数学
- Fefermanの理論(形式的理論;意味論と応用)
- Aczelの理論
- 証明の理論
by "BOOK database"