ゲスト さん (ログイン)
ゴールデンウイークの営業についてのご案内
オンライン書店【ホンヤクラブ】はお好きな本屋での受け取りで送料無料!新刊予約・通販も。本(書籍)、雑誌、漫画(コミック)、洋書など在庫も充実
Language,proof and logic.
慶應義塾大学出版会 ジョン・バーワイズ ジョン・エチェメンディ 大沢秀介
序論第1部 命題論理(原子文;原子文の論理;ブール結合子;ブール結合子の論理;ブール論理の証明方法;形式的証明とブール論理;条件文;条件文の論理)第2部 限量子(限量入門;限量子の論理;複数の限量子;限量子についての証明の方法;形式的証明と限量子;限量子についての捕足(オプション))第3部 応用とメタ理論(一階集合論;数学的帰納法;命題論理の更に進んだ話題;FOLの更に進んだ話題;完全性と不完全性)LPLソフトウェア・マニュアル(Submitを使う;Tarski’s Worldを使う;Fitchを使う;Booleを使う)
"視覚で理解する画期的論理学テキスト、ついに翻訳刊行。▼ゲーム感覚で学べる、スタンフォード大学 CSLI 論理学テキスト Language, Proof and Logic の翻訳書。付属のCD-ROM(Tarski’s World)は1997年Educom Medalを受賞しています。▼テキストは、初歩の命題論理からゲーデルの不完全性定理に至るまで、幅広く説明され、Tarski’s Worldで、立体図形を感覚的に操作しながら、論理学の基本概念を学びます。▼膨大な数の練習問題を収録し、その解答はインターネットを利用して自動的に採点されます。"
ページ上部へ戻る
この商品に寄せられたカスタマーレビューはまだありません。
レビューを評価するにはログインが必要です。
この商品に対するあなたのレビューを投稿することができます。
本好きのためのオンライン書店
Honya Club.comは日本出版販売株式会社が運営しているインターネット書店です。ご利用ガイドはこちら
1位
又吉直樹
価格:1,320円(本体1,200円+税)
【2015年03月発売】
一覧を見る
[BOOKデータベースより]
序論
[日販商品データベースより]第1部 命題論理(原子文;原子文の論理;ブール結合子;ブール結合子の論理;ブール論理の証明方法;形式的証明とブール論理;条件文;条件文の論理)
第2部 限量子(限量入門;限量子の論理;複数の限量子;限量子についての証明の方法;形式的証明と限量子;限量子についての捕足(オプション))
第3部 応用とメタ理論(一階集合論;数学的帰納法;命題論理の更に進んだ話題;FOLの更に進んだ話題;完全性と不完全性)
LPLソフトウェア・マニュアル(Submitを使う;Tarski’s Worldを使う;Fitchを使う;Booleを使う)
"視覚で理解する画期的論理学テキスト、ついに翻訳刊行。
▼ゲーム感覚で学べる、スタンフォード大学 CSLI 論理学テキスト Language, Proof and Logic の翻訳書。付属のCD-ROM(Tarski’s World)は1997年Educom Medalを受賞しています。
▼テキストは、初歩の命題論理からゲーデルの不完全性定理に至るまで、幅広く説明され、Tarski’s Worldで、立体図形を感覚的に操作しながら、論理学の基本概念を学びます。
▼膨大な数の練習問題を収録し、その解答はインターネットを利用して自動的に採点されます。"