資料詳細

所蔵

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

所蔵館	所蔵場所	請求記号	資料コード	資料区分	帯出区分	状態
県立（本館）	新着棚	/007.1/H39/	116565458	一般図書	利用可	在架

ページの先頭へ

資料詳細

ページの先頭へ

目次

1 集合論の基礎

  1.1 集合上の基本的な構成

  1.2 関数

  1.3 二項関係

第Ⅰ部 形式論理

2 等式論理-形式論理のショウケースとして

  2.1 最初の例

  2.2 項

  2.3 構文論

  2.4 導出

  2.5 意味論

  2.6 構文論vs.意味論

  2.7 形式論理とは?

3 命題論理

  3.1 論理式

  3.2 導出規則

  3.3 意味論

  3.4 構文論vs.意味論

4 述語論理

  4.1 項と論理式

  4.2 導出規則

  4.3 意味論

  4.4 構文論vs.意味論

5 命題論理および述語論理の諸性質

  5.1 カット除去

  5.2 理論とコンパクト性

  5.3 構造のクラスの公理化可能性:コンパクト性の帰結として

第Ⅱ部 計算可能性

6 帰納的関数

  6.1 原始帰納的関数

  6.2 帰納的関数

7 帰納的関数とwhileプログラム

  7.1 Whileプログラム

  7.2 Churchの提題

8 帰納的関数の性質

  8.1 普遍帰納的関数

  8.2 停止問題の決定不可能性

  8.3 再帰定理

  8.4 帰納的枚挙可能述語

9 Gödelの不完全性定理

  9.1 述語論理における理論

  9.2 不完全性とは?

  9.3 理論の複雑さ

  9.4 自然数構造における恒真性の決定不可能性

ページの先頭へ