資料詳細

検索条件

  • 著者
    東京新聞社会部
ハイライト
  • 1 件中、 1 件目

論理学の基礎と演習 利用可

ジョン・バーワイズ／著 -- 慶応義塾大学出版会 -- 2006.9 -- 116

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

所蔵館 所蔵場所 請求記号 資料コード 資料区分 帯出区分 状態
鳥取県立 書庫 116/ﾊﾜｲ/一般Ｈ 116858089 一般 利用可

ページの先頭へ

資料詳細

タイトル 論理学の基礎と演習
書名ヨミ ロンリガク　ノ　キソ　ト　エンシュウ
著者名 ジョン・バーワイズ ／著, ジョン・エチメンディ ／著, 大沢秀介 ／〔ほか〕訳  
著者ヨミ バーワイズ，ジョン , エチェメンディ，ジョン , オオサワ，ヒデスケ  
出版者 慶応義塾大学出版会  
出版年 2006.9
ページ数等 ７４８ｐ
大きさ ２３ｃｍ
内容細目 索引あり
原書名 Ｌａｎｇｕａｇｅ，ｐｒｏｏｆ　ａｎｄ　ｌｏｇｉｃ．∥の翻訳
一般件名 論理学  
ISBN 4-7664-1313-X
定価 ９８００円
問合わせ番号（書誌番号） 1101370144
NDC8版 116
NDC9版 116

ページの先頭へ

内容一覧

タイトル 著者名 ページ
序論
第１部　命題論理（原子文；原子文の論理；ブール結合子；ブール結合子の論理；ブール論理の証明方法；形式的証明とブール論理；条件文；条件文の論理）
第２部　限量子（限量入門；限量子の論理；複数の限量子；限量子についての証明の方法；形式的証明と限量子；限量子についての捕足（オプション））
第３部　応用とメタ理論（一階集合論；数学的帰納法；命題論理の更に進んだ話題；ＦＯＬの更に進んだ話題；完全性と不完全性）
ＬＰＬソフトウェア・マニュアル（Ｓｕｂｍｉｔを使う；Ｔａｒｓｋｉ’ｓ　Ｗｏｒｌｄを使う；Ｆｉｔｃｈを使う；Ｂｏｏｌｅを使う）

ページの先頭へ