書籍詳細:コンピュータのための数学

コンピュータのための数学 論理的アプローチ

の画像の画像
  • 紙の書籍
定価:税込 5,170円(本体価格 4,700円)
在庫なし
発刊年月
2001.07
旧ISBN
4-535-78301-2
ISBN
978-4-535-78301-0
判型
B5判
ページ数
400ページ
Cコード
C3041
ジャンル

内容紹介

情報科学を学ぶのに必要な数学の基本を、数学者ではなくコンピュータ科学者がその立場から書いたもので、コーネル大学理工学部で使われたテキストの翻訳。「論理」の重要さを強調し、いろいろな分野での応用に備える。

目次

0章 数学の活用
1章 字句代入,等号,代入
2章 ブール式
3章 命題計算
4章 証明形式の緩和
5章 命題論理の応用
6章 ヒルベルトスタイルの証明系
7章 形式論理
8章 限量化
9章 述語計算
10章 述語とプログラミング
11章 集合論
12章 数学的帰納法
13章 列の理論
14章 関係と関数
15章 整数の理論
16章 組合せ論
17章 漸化式
18章 現代代数
19章 グラフ理論
20章 無限集合