独習コンピュータ科学基礎II 論理構造(神林 靖 神林 靖 ジェームズ・ハイン)|翔泳社の本
  1. ホーム >
  2. 書籍 >
  3. 独習コンピュータ科学基礎II 論理構造

独習コンピュータ科学基礎II 論理構造

翻訳
原著

形式:
書籍
発売日:
ISBN:
9784798120645
定価:
3,520(本体3,200円+税10%)
仕様:
B5変・296ページ
カテゴリ:
プログラミング・開発
キーワード:
#プログラミング,#開発環境,#開発手法,#Web・アプリ開発
シリーズ:
独習

賢く使う もれなく楽しむ

原著は米国ポートランド大学を中心に幅広く教科書として採用され、3rd Editionを重ねるまでになっています。本書は全3分冊でコンピュータ数学の基礎分野を網羅する新しい独習シリーズの第2冊目となり、プログラミング分野でも重要度の高い「論理」に関して、初頭論理、命題論理、形式的な論理および公理に分けて解説しています。

具体的には、ブール代数という重要なアイデアに加えて、代数としての抽象データ型の導入、計算問題に直接応用できる計算代数やさまざまな代数的アイデアについて触れています。例としては、標準的な公開鍵暗号であるRSAについて、詳しい説明と定理の証明が示されています。Binary Hacsk / Write Great Code / The Art of Computer Programming など名著と呼ばれるコンピュータ書やゲーデル、ラッセル&ホワイトヘッドの読者層に特にお薦めの一冊です。

まえがき

構造と方法
原書第三版での変更点
読者へ
補助教材
本書の利用法
謝辞
訳者まえがき

第6 章初等論理

6.1 どのように推論するか
6.2 命題計算
   6.2.1 整論理式と意味
   6.2.2 論理的同値
   6.2.3 真理値関数と標準形
   6.2.4 論理結合子の十分な集合
6.3 形式的推論
   6.3.1 証明規則
   6.3.2 証明
   6.3.3 導出される規則
   6.3.4 定理そして健全性と完全性
   6.3.5 実践により完璧となる
6.4 形式的公理システム
   6.4.1 公理システムの例
   6.4.2 他の公理システム
6.5 章のまとめ
   注釈

第7 章述語論理

7.1 一階述語計算
   7.1.1 述語と限量子
   7.1.2 整論理式
   7.1.3 解釈と意味
   7.1.4 妥当性
   7.1.5 妥当性問題
7.2 同値式
   7.2.1 論理同値性
   7.2.2 標準形
   7.2.3 英語の文を形式化する
   7.2.4 まとめ
7.3 述語計算における形式的証明
   7.3.1 全称実体化(Universal Instantiation:UI)
   7.3.2 存在汎化(Existential Generalization:EG)
   7.3.3 存在実体化(Existential Instantiation, EI)
   7.3.4 全称汎化(Universal Generalization, UG)
   7.3.5 形式的証明の例
7.4 章のまとめ
   註釈

第8 章応用論理

8.1 等価性
   8.1.1 等価性を記述する
   8.1.2 等しいものによる置換を拡張する
8.2 プログラムの正当性
   8.2.1 命令型プログラムの正当性
   8.2.2 配列代入
   8.2.3 停止性
   注釈
8.3 高階論理
   8.3.1 高階論理を分類する
   8.3.2 意味論
   8.3.3 高階推論
8.4 章のまとめ

第9 章計算論理

9.1 自動推論
   9.1.1 節と節形式
   9.1.2 命題の導出
   9.1.3 代入と単一化
   9.1.4 導出:一般的な場合
   9.1.5 導出による定理証明
   9.1.6 注意
9.2 論理プログラミング
   9.2.1 家系図
   9.2.2 論理プログラムの定義
   9.2.3 導出と論理プログラミング
   9.2.4 計算の木
   9.2.5 論理プログラミングの技法
   9.2.6 証明できないことについての注意
9.3 章のまとめ

第10 章代数構造と技法

10.1 代数とはなにか
   10.1.1 代数の定義
   10.1.2 具象と抽象
   10.1.3 代数に慣れる
10.2 ブール代数
   10.2.1 ブール式を簡約する
   10.2.2 ディジタル回路
10.3 代数としての抽象データ型
   10.3.1 自然数
   10.3.2 リストと文字列
   10.3.3 スタックとキュー
   10.3.4 二分木と優先度付きキュー
10.4 計算代数
   10.4.1 関係代数
   10.4.2 関数代数
10.5 様々な代数的アイデア
   10.5.1 合同
   10.5.2 暗号:RSA アルゴリズム
   10.5.3 部分代数
   10.5.4 準同型写像
10.6 章のまとめ

付録

ギリシャ文字
記号
参考文献

付属データはこちら

お問い合わせ

内容についてのお問い合わせは、正誤表、追加情報をご確認後に、お送りいただくようお願いいたします。

正誤表、追加情報に掲載されていない書籍内容へのお問い合わせや
その他書籍に関するお問い合わせは、書籍のお問い合わせフォームからお送りください。

利用許諾に関するお問い合わせ

本書の書影(表紙画像)をご利用になりたい場合は書影許諾申請フォームから申請をお願いいたします。
書影(表紙画像)以外のご利用については、こちらからお問い合わせください。

追加情報はありません。
この商品の「よくある質問」はありません。

ご購入いただいた書籍の種類を選択してください。

書籍の刷数を選択してください。

刷数は奥付(書籍の最終ページ)に記載されています。

現在表示されている正誤表の対象書籍

書籍の種類:

書籍の刷数:

本書に誤りまたは不十分な記述がありました。下記のとおり訂正し、お詫び申し上げます。

対象の書籍は正誤表がありません。

最終更新日:2014年02月03日
発生刷 ページ数 書籍改訂刷 電子書籍訂正 内容 登録日
1刷 011
選言の列4行目
A∨¬ A ≡A
A∨¬ A ≡真
2014.02.03
1刷 011
含意の列2~3行目
A→偽 ¬ 真 真→A ¬ A
A→偽≡¬ A 真→A≡A
2014.02.03
1刷 011
吸収則の列3~4行目
A ⋀ ( A ¬ A ⋁ B ) A ⋁ ( A ¬ A ⋁ B )
A ⋀ (¬ A ⋁ B ) A ⋁ (¬ A ⋁ B )
2014.02.03
1刷 011
変換の列7~8行目
≡ ( A ⋀ ) B ⋁ ... ≡ ( A ⋁ ) B ⋀ ...
≡ ( A ⋀ B ) ⋁ ... ≡ ( A ⋁ B ) ⋀ ...
2014.02.03
1刷 018
図6.10
¬ P が¬ Q P がQ
¬ P ⋁¬ Q P ⋁ Q
2014.02.03
1刷 026
1行目
¬ A B から、
¬ A から、
2014.02.03
1刷 041
12行目
[¬ (A なので]∨ B )]
[¬ (A ∨ B ) なので]
2014.02.03
1刷 087
下から15行目と下から6行目
正式化
形式化
2014.02.03
1刷 154
下から12行目
右端
)を一つ追加
2014.02.03