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

本のないよう

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

ぞうしょじょうほう

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

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

しょしじょうほうサマリ

本のだいめい

美と礼節の絆　日本における交際文化の政治的起源

書いた人の名前 池上英子／著
しゅっぱんしゃ NTT出版
しゅっぱんねんげつ 2005.06
本のきごう 2104/00142/

この資料に対する操作

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

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

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

本のばしょ

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

No. としょかん 本のばんごう 本のしゅるい 本のばしょ くわしいばしょ せいげん じょうたい
1 鶴舞0234764157一般和書２階開架人文・社会在庫 

かんれんしりょう

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

アルゴリズム

しょししょうさい

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

本のきごう 2104/00142/
本のだいめい 美と礼節の絆　日本における交際文化の政治的起源
書いた人の名前 池上英子／著
しゅっぱんしゃ NTT出版
しゅっぱんねんげつ 2005.06
ページすう 538p
おおきさ 22cm
ISBN 4-7571-4116-5
ぶんるい 2104
いっぱんけんめい 日本-歴史-中世 　 日本-歴史-近世 　 コミュニケーション-歴史
本のしゅるい 一般和書
ないようちゅうき 文献:p485〜528
タイトルコード 1009915028227

もくじ 第１章　論理学
第２章　論理、コンピュータ、アルゴリズム
第３章　命題論理―結合子‘ｎｏｔ’，‘ａｎｄ’，‘ｏｒ’
第４章　命題論理―結合子‘ｉｆ…ｔｈｅｎ…’その他
第５章　命題論理―真理値の計算と良形の判定をするアルゴリズム
第６章　命題論理―真理値表作成と妥当性判断のアルゴリズム
第７章　命題論理―同値、標準形、ポーランド記法
第８章　命題論理―自然演繹体系
第９章　命題論理―その他の推論規則
第１０章　命題論理―証明検査プログラム
第１１章　命題論理―証明作成の手段
第１２章　述語論理―量限定
第１３章　述語論理―量限定子の推論規則
第１４章　述語論理―妥当性の判定と定理の証明


ないよう細目表：

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

本文はここまでです。

ページの終わりです。