論理と計算のしくみ

著者

• 萩谷, 昌己 ハギヤ, マサミ
• 西崎, 真也 ニシザキ, シンヤ

書誌事項

論理と計算のしくみ

萩谷昌己, 西崎真也著

岩波書店, 2007.6

タイトル読み

ロンリ ト ケイサン ノ シクミ

注記

学習の手引き: pvii-x

内容説明・目次

内容説明

論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるλ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「仕組み」を理解する。

目次

• １　集合と関係（集合；関係）
• ２　命題論理と述語論理（命題論理；一階述語論理；高階述語論理とその部分体系）
• ３　様相論理と直観主義論理（命題様相論理；多重様相論理；時相論理；命題直感主義論理）
• ４　計算可能性（チューリング機械；帰納的関数；不完全性定理；プレスバーガ算術；述語論理の決定不能性と決定可能な部分体系）
• ５　λ計算（λ項；簡約；型付きλ計算）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BA82343895
• ISBN:
  • 9784000061919
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 出版地: 東京
• ページ数/冊数: xiv, 256p
• 大きさ: 22cm
• 分類:
  • NDC8 : 410.96
  • NDC8 : 418
  • NDC9 : 410.9
• 件名:
  • NDLSH : 数学基礎論