検索結果書誌詳細

和書
ログインすると表紙画像を
ご覧になれます
レファレンス情報は0件です

蔵書情報

この資料の蔵書に関する統計情報です。現在の所蔵数 在庫数 予約数などを確認できます。

所蔵数 1 在庫数 1 予約数 0

書誌情報サマリ

書名

タブローの方法による論理学入門　　　　　　　　

著者名 丹治 信春／著
著者名ヨミ タンジ ノブハル
出版者 朝倉書店
出版年月 1999.11

書誌詳細

この資料の書誌詳細情報です。

タイトル番号 1009910059541
書誌種別 和書
書名 タブローの方法による論理学入門　　　　　　　　
著者名 丹治 信春／著
書名ヨミ タブロー ノ ホウホウ ニ ヨル ロンリガク ニュウモン　　　
著者名ヨミ タンジ ノブハル
出版者 朝倉書店
出版地 東京
出版年月 1999.11
ページ数 137p
大きさ 21cm
価格 ￥２５００
言語区分 日本語
ISBN 4-254-50012-2
分類 410.96
件名 記号論理学
内容紹介 記号論理学の基礎的な諸概念、基本的な考え方を習得しつつ、「タブロー」という方法による「証明」の技法を身につける。命題論理の記号言語、真理値分析とトートロジー、述語論理の記号言語などについて解説。
著者紹介 1949年大阪府生まれ。東京大学大学院理学系研究科科学史・科学基礎論専門課程博士課程単位取得退学。東京都立大学人文学部教授。著書に「言語と認識のダイナミズム」がある。



内容細目

この資料に対する操作

カートに入れる を押すと この資料を 予約する候補として予約カートに追加します。

いますぐ予約する を押すと 認証後この資料をすぐに予約します。

この資料に対する操作

電子書籍を読むを押すと 電子図書館に移動しこの資料の電子書籍を読むことができます。

資料情報

各蔵書資料に関する詳細情報です。

No. 資料番号 所蔵館 請求番号 配架場所 資料種別 帯出区分 状態 貸出
1 0005512280県立図書館410.96/ﾀﾝ/書庫１一般和書貸可資料　在庫　　　  ○

マイ本棚へ追加ログインするとマイ本棚を利用できます。

関連資料

この資料に関連する資料を 同じ著者 出版年 分類 件名 受賞などの切り口でご紹介します。

410.96　410.96
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【幾何的モデル理論入門】 幾何的モデル理論入門
板井 昌典／著 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【論理学入門】 論理学入門
丹治 信春／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数理論理学】 数理論理学
戸次 大介／著 【現代数理論理学序説】 現代数理論理学序説
古森 雄一／著,… 【数理論理学　：　使い方と考え方:超…】 数理論理学　：　使い方と考え方:超…
江田 勝哉／著 【日本語から記号論理へ】 日本語から記号論理へ
齋藤 正彦／著 【ろんりと集合】 ろんりと集合
中内 伸光／著 【フレーゲ哲学の最新像】 フレーゲ哲学の最新像
ダメット／[ほか… 【工学系の論理数学入門】 工学系の論理数学入門
田中 和明／著 【フレーゲ入門　：　生涯と哲学の形成】 フレーゲ入門　：　生涯と哲学の形成
野本 和幸／著 【数学嫌いのためのコンピュータ論理学…】 数学嫌いのためのコンピュータ論理学…
マーティン・ディ… 【論理と代数の基礎　：　初めて学ぶ人…】 論理と代数の基礎　：　初めて学ぶ人…
硲 文夫／著 【幾何的モデル理論入門　：　モデル理…】 幾何的モデル理論入門　：　モデル理…
板井 昌典／著
記号論理学
【記号論理学】 記号論理学
山本 新／著,入… 【フレーゲ・ルネサンス　：　言語・論…】 フレーゲ・ルネサンス　：　言語・論…
野本 和幸／著 【計算理論と数理論理学】 計算理論と数理論理学
田中 一之／著 【まるさんかく論理学　：　数学的セン…】 まるさんかく論理学　：　数学的セン…
野崎 昭弘／著 【山の上のロジック学園　：　不完全性…】 山の上のロジック学園　：　不完全性…
田中 一之／著,… 【世界を満たす論理　：　フレーゲの形…】 世界を満たす論理　：　フレーゲの形…
荒畑 靖宏／著 【スマリヤン数理論理学講義下巻】 スマリヤン数理論理学講義下巻
レイモンド・M.… 【はじめての数理論理学　：　証明を作…】 はじめての数理論理学　：　証明を作…
山田 俊行／著 【「論理」を分析する】 「論理」を分析する
八木沢 敬／著 【記号論】 記号論
吉田 夏彦／著 【スマリヤン数理論理学講義上巻】 スマリヤン数理論理学講義上巻
レイモンド・M.… 【情報理論のための数理論理学】 情報理論のための数理論理学
板井 昌典／著 【証明と論理に強くなる　：　論理式の…】 証明と論理に強くなる　：　論理式の…
小島 寛之／著 【万能コンピュータ　：　ライプニッツ…】 万能コンピュータ　：　ライプニッツ…
マーティン・デイ… 【心の影　：　意識をめぐる未知の科…2】 心の影　：　意識をめぐる未知の科…2
ロジャー・ペンロ… 【心の影　：　意識をめぐる未知の科…1】 心の影　：　意識をめぐる未知の科…1
ロジャー・ペンロ… 【スマリヤン数理論理学　：　述語論理…】 スマリヤン数理論理学　：　述語論理…
Raymond … 【論理学入門】 論理学入門
丹治 信春／著 【スマリヤン記号論理学　：　一般化と…】 スマリヤン記号論理学　：　一般化と…
Raymond … 【数理論理学】 数理論理学
戸次 大介／著 【現代数理論理学序説】 現代数理論理学序説
古森 雄一／著,… 【数理論理学　：　使い方と考え方:超…】 数理論理学　：　使い方と考え方:超…
江田 勝哉／著 【日本語から記号論理へ】 日本語から記号論理へ
齋藤 正彦／著 【数理神学を学ぶ人のために】 数理神学を学ぶ人のために
落合 仁司／著 【ろんりと集合】 ろんりと集合
中内 伸光／著
前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。