計算機数学

著者

書誌事項

計算機数学

町田元, 横森貴共著

森北出版, 1990.5

タイトル読み

ケイサンキ スウガク

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

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

この図書・雑誌をさがす

注記

参考文献: p169-170

内容説明・目次

内容説明

日本語ＬＡＴＥＸで作った本。計算機科学、情報科学、情報工学を学ぶための基礎としての数学入門書。進歩の著しいこの分野の最先端部分を学んでいくためには、その土台をなす基礎的な数学を十分解理しておくことが必要である。本書はその中での特に重要なものを取り上げ、多くの例を示しながら入門者向けに解説した。

目次

  • １　論理（命題論理；述語論理；自然数の公理系）
  • ２　集合と関数（集合；関数；集合の濃度）
  • ３　関係（ｎ項関係；同値関係；順序関係）
  • ４　いくつかの進んだ話題（分解証明法；公理的集合論；ブール代数；形式言語の初歩）

「BOOKデータベース」 より

詳細情報

  • NII書誌ID(NCID)
    BN05069440
  • ISBN
    • 4627821506
  • 出版国コード
    ja
  • タイトル言語コード
    jpn
  • 本文言語コード
    jpn
  • 出版地
    東京
  • ページ数/冊数
    vi, 174p
  • 大きさ
    22cm
  • 分類
  • 件名
ページトップへ