資料詳細

  • 1 件中、 1 件目

【図書】 計算機数学

町田元，横森貴 ／共著, 　   -- 森北出版 -- １９９０．５ -- ２２ｃｍ -- １７４ｐ

資料詳細

タイトル 計算機数学
著者名等 町田元，横森貴 ／共著, 　  
出版 森北出版 １９９０．５
大きさ等 ２２ｃｍ １７４ｐ
分類 410.9
件名 数学基礎論
内容 参考文献：ｐ１６９～１７０
要旨 日本語ＬＡＴＥＸで作った本。計算機科学、情報科学、情報工学を学ぶための基礎としての数学入門書。進歩の著しいこの分野の最先端部分を学んでいくためには、その土台をなす基礎的な数学を十分解理しておくことが必要である。本書はその中での特に重要なものを取り上げ、多くの例を示しながら入門者向けに解説した。
目次 １　論理（命題論理；述語論理；自然数の公理系）；２　集合と関数（集合；関数；集合の濃度）；３　関係（ｎ項関係；同値関係；順序関係）；４　いくつかの進んだ話題（分解証明法；公理的集合論；ブール代数；形式言語の初歩）
ISBN(13)、ISBN 　　 4-627-82150-6
書誌番号 1190347179
URL https://opac.lib.city.yokohama.lg.jp/winj/opac/switch-detail.do?bibid=1190347179

ページの先頭へ

所蔵

所蔵は 1 件です。現在の予約件数は 0 件です。

所蔵館 所蔵場所 別置 請求記号 資料区分 状態 取扱 資料コード
中央 書庫 410.9/114 一般書 利用可 - 0003834476 iLisvirtual

ページの先頭へ