Yoihon 良書網 訂購日本書籍、雜誌、動漫,WhatsApp 9411 6767 查詢

 title=

良書網 数理論理学 出版社: 朝倉書店 Code/ISBN: 9784254117653

圖片只供參考

產品查詢

圖書

数理論理学

作者鹿島亮/著
出版社 朝倉書店
出版日期2009-10-1
編號/ISBN 9784254117653
定價 (配送說明)通常配送 380285 港幣   Saved $95
3-4 週到港
數量  本

目次

証明を対象にするとは
自然演繹
論理式の真理値
自然演繹の健全性
自然演繹の完全性
不完全性定理
命題論理
さまざまな証明体系
シークエント計算LKのカット除去
直観主義論理
クリプキモデルと中間論理
本文中で使われている数学的道具の説明

出版社
商品紹介

数理論理学の基本結果をわかりやすく正確に説明しながら,その意義や気持ちを伝える入門書。

精選產品

SD Gundam
SD Gundam
有關SD高達、SDW、SD三國和BB戰士
陶瓷藝術
陶瓷藝術
陶瓷相關資訊和作品集
日本寫真集
日本寫真集
讓您預訂或購買日本各類寫真集。
動漫/電玩
動漫/電玩
研究本、聲優、原畫、設定集應有盡有,緊貼日本情報。
日本旅遊
日本旅遊
旅遊、自駕、溫泉、美食、特色.... 最多最齊日本旅遊書。
MOOK
MOOK
宝島社、祥伝社及更多主題誌,隨刊附贈各種人氣注目品。

摺紙書

Gakken 保育

Yoihon.com
免費送貨

Payment Method Paypal, Payme, FPS, Visa, Mastercard

Octopus Card