検索結果書誌詳細

図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。
    在庫の資料を予約してもすぐに準備できるとは限りません。
    お急ぎの場合は所蔵館にて当日中のお取り置きができますので、予約をせずに所蔵館にお電話でお問い合わせください。

蔵書情報

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

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

書誌情報サマリ

書名

情報理論のための数理論理学　　 数学のかんどころ 31

著者名 板井 昌典／著
著者名ヨミ イタイ,マサノリ
出版者 共立出版
出版年月 2017.8

この資料に対する操作

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

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

この資料に対する操作

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

登録するリストログインメモ

資料情報

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

No. 所蔵館 資料番号 請求番号 資料種別 配架場所 帯出区分 状態 貸出
1 岡町007527070410.9/ｲ/一般図書成人室　貸出中  ×

関連資料

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

書誌詳細

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

タイトルコード 1003000367770
書誌種別 図書
書名 情報理論のための数理論理学　　 数学のかんどころ 31
書名ヨミ ジョウホウ リロン ノ タメ ノ スウリ ロンリガク(スウガク ノ カンドコロ)
著者名 板井 昌典／著
著者名ヨミ イタイ,マサノリ
出版者 共立出版
出版年月 2017.8
ページ数 11,200p
大きさ 21cm
ISBN 4-320-11072-4
ISBN 978-4-320-11072-4
分類記号 410.96
内容紹介 ソフトウェア工学や計算機科学の分野で重要な役割を果たしている「数理論理学」のテキスト。情報系・工学系の学生を対象に、命題・述語論理から、ブール代数などの「少し先」の内容までを、できるだけ分かりやすく説明する。
著者紹介 1953年生まれ。イリノイ大学シカゴ校大学院修了。Ph.D.。東海大学理学部情報数理学科教授。
件名1 記号論理学

(他の紹介)内容紹介 『大唐西域記』は、唐初の入竺僧玄奘三蔵が著わした７世紀の西域、インドの仏教遺跡、風俗、生活、地理、伝説等を伝える大部の綜合地誌・民族誌である。一方、その玄奘三蔵の伝記が『大慈恩寺三蔵法師伝』によって著わされている。従来、この両書の比較対照によって、玄奘三蔵の西域紀行の大体の実態が明らかになると考えられてきた。だが、果たしてそうなのか―。今、両書の徹底した比較研究によって、その矛盾点を浮き彫りにし、長年の実地調査で、その西域紀行の実態を明らかにする。
(他の紹介)目次 第１章　『大唐西域記』の成立
第２章　『大唐西域記』のあらまし
第３章　長安から高昌へ
第４章　西域の旅
第５章　憧れの天竺
第６章　帰国の旅路

書店リンク

  

内容細目

前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。