感染拡大防止のため、本を読む前、読んだ後は手を洗いましょう。みなさまのご協力をお願いします。

本のないよう

一般和書
ログインすると許諾を得た一部の
表紙画像をご覧になれます
  • 本のくわしいないようです。 この本は、今 0 人がよやくしています。
  • ・この本をよやくをするときは、「よやくカートに入れる」ボタンをクリックしてください。よやくするには、図書館がはっこうしたパスワードが必要です。
    ・「よやくカートに入れる」ボタンが出ないものはインターネットからよやくできません。

ぞうしょじょうほう

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

本のかず 1 ざいこのかず 1 よやくのかず 0

しょしじょうほうサマリ

本のだいめい

記号論理・入門

書いた人の名前 上江洲忠弘／著
しゅっぱんしゃ 遊星社
しゅっぱんねんげつ 1999.02
本のきごう 4109/00002/

この資料に対する操作

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

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

とうろくするほんだなログインすると、マイほんだながりようできます。

本のばしょ

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

No. としょかん 本のばんごう 本のしゅるい 本のばしょ くわしいばしょ せいげん じょうたい
1 鶴舞0233383462一般和書２階開架自然・工学在庫 

かんれんしりょう

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

しょししょうさい

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

本のきごう 4109/00002/
本のだいめい 記号論理・入門
書いた人の名前 上江洲忠弘／著
しゅっぱんしゃ 遊星社
しゅっぱんねんげつ 1999.02
ページすう 190p
おおきさ 21cm
ISBN 4-7952-6888-6
ぶんるい 41096
いっぱんけんめい 記号論理学
本のしゅるい 一般和書
タイトルコード 1009810067930

ようし 記号論理の世界を物語として語りかけた本。対象とする論理を“数学の論証で用いる論理”に限定し、「命題論理」と呼ばれる論理の基本的な部分を対象とした。
もくじ 第１章　証明の分析
第２章　証明の形式化
第３章　証明可能性と証明図の作成
第４章　命題の真偽と推論規則の正しさ
第５章　形式的論理体系の完全性
第６章　許容推論図
第７章　推件計算


ないよう細目表：

前のページへ
ページのせんとうへ トップページへ

本文はここまでです。

ページの終わりです。