計算機数学
著者
書誌事項
計算機数学
森北出版, 1990.5
- タイトル読み
-
ケイサンキ スウガク
大学図書館所蔵 全162件
この図書・雑誌をさがす
注記
参考文献: p169-170
内容説明・目次
内容説明
日本語ＬＡＴＥＸで作った本。計算機科学、情報科学、情報工学を学ぶための基礎としての数学入門書。進歩の著しいこの分野の最先端部分を学んでいくためには、その土台をなす基礎的な数学を十分解理しておくことが必要である。本書はその中での特に重要なものを取り上げ、多くの例を示しながら入門者向けに解説した。
目次
- １ 論理（命題論理；述語論理；自然数の公理系）
- ２ 集合と関数（集合；関数；集合の濃度）
- ３ 関係（ｎ項関係；同値関係；順序関係）
- ４ いくつかの進んだ話題（分解証明法；公理的集合論；ブール代数；形式言語の初歩）
「BOOKデータベース」 より