計算機数学
Author(s)
Bibliographic Information
計算機数学
森北出版, 1990.5
- Title Transcription
-
ケイサンキ スウガク
Available at / 162 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
参考文献: p169-170
Description and Table of Contents
Description
日本語ＬＡＴＥＸで作った本。計算機科学、情報科学、情報工学を学ぶための基礎としての数学入門書。進歩の著しいこの分野の最先端部分を学んでいくためには、その土台をなす基礎的な数学を十分解理しておくことが必要である。本書はその中での特に重要なものを取り上げ、多くの例を示しながら入門者向けに解説した。
Table of Contents
- １ 論理（命題論理；述語論理；自然数の公理系）
- ２ 集合と関数（集合；関数；集合の濃度）
- ３ 関係（ｎ項関係；同値関係；順序関係）
- ４ いくつかの進んだ話題（分解証明法；公理的集合論；ブール代数；形式言語の初歩）
by "BOOK database"
