記号論理学

Main
Mathematics - Logic
記号論理学

記号論理学

清水義夫

0 / 5.0

Quanto ti piace questo libro?

Qual è la qualità del file?

Scarica il libro per la valutazione della qualità

Qual è la qualità dei file scaricati?

論理学の初級コースの内容を平易に説く．まず命題論理と述語論理をわかりやすく述べ，完全性定理やブール代数を加えて，中級コースの種々の議論への橋渡しとする．コンパクトな中にも，とくに理科の学生や専門課程へつながる様々な工夫がこらされている．

Categorie:

Mathematics - Logic

Anno:

1984

Casa editrice:

東京大学出版会

Lingua:

japanese

ISBN 10:

4130120182

ISBN 13:

9784130120180

File:

PDF, 28.76 MB

IPFS:

,

japanese, 1984

Scaricare (pdf, 28.76 MB)

La conversione in è in corso

La conversione in non è riuscita

Puoi essere interessati a

前原昭二 — 記号論理入門

清水義夫 — 記号論理学講義基礎理論束論と圏論知識論

一松信 — 正多面体を解く

示野信一 — 演習形式で学ぶ　リー群・リー環

新井敏康 — 数学基礎論増補版

斎藤毅 — 集合と位相

今野宏 — 微分幾何学

松澤淳一 — 特異点とルート系

丹後俊郎 — 無作為化比較試験―デザインと統計解析 (医学統計学シリーズ)

Daniel Solow ,ダニエル・ソロー, 安藤四郎 — 証明の読み方・考え方: 数学的思考過程への手引

Dirk Bouwmeester, Artur K Ekert, Anton Zeilinger, Tetsurou Nishino, Nobuyuki Imoto — 量子情報の物理―量子暗号、量子テレポーテーション、量子計算

丹治信春 — 論理学入門

三輪進 — 高周波電磁気学 (理工学講座)

武田進 — 気体放電の基礎 (理工学講座)

萩野芳造, 小滝国雄 — 無線機器システム (理工学講座)

三輪進, 加来信之 — アンテナおよび電波伝搬 (理工学講座)

伊東規之 — 増幅回路と負帰還増幅

須藤亘啓 — 機械の設計考え方・解き方 (わかりやすい機械教室)

山内恭彦, 杉浦光夫 — 連続群論入門

江田勝哉 — 数理論理学

岡本茂 — 位相幾何学(ホモロジー)

野口広, 福田拓生 — 初等カタストロフィ一

Unknown — チューリングマシンと計算量の理論 (情報数理シリーズ B-2)

坪井明人 — モデルの理論

田中尚夫 — 公理的集合論

倉田令二朗,篠田寿一 — 公理論的集合論

松本和夫 — 復刊数理論理学

竹内外史 — 数学基礎論増補版

倉田令二朗 — 数学基礎論へのいざない

萩谷昌己, 西崎真也 — 論理と計算のしくみ

吉田洋一 — 点集合論入門

阿部英一 — ホップ代数

戸田宏, 三村護 — リー群の位相下―コンパクトリー群の理論から例外群へ

清水英男 — 保型関数

Unknown — リー群の位相上線型代数からKO—群の周期性へ

竹内外史 — 無限小解析と物理学

Sabine Koppelberg,S.コッペルベルク,廣瀬健,渕野昌 — 現代のブール代数

竹内勝 — 現代の球関数

松本和夫 — 数理論理学

きかよしお — B. PROJECT vol. 1

Torkel Franzen,トルケル・フランセーン, 田中一之 — ゲーデルの定理利用と誤用の不完全ガイド

松坂和夫 — 線型代数入門

Termini più frequenti