ようこそ
ゲスト
さん
My OPAC ログイン
ヘルプ
入力補助
English
TOP
図書館サービス
図書新着案内
リザーブブック
データベースを探す
利用者サービス
My OPAC ログイン
その他
図書館
データベースを探す
e-Resources Access Page
学術情報リポジトリ Sophia-R
検索結果一覧に戻る
Tweet
CLOSE
この情報を出力する
印刷
メール送信
ファイル出力
RefWorksに出力
EndNote Basic出力
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
ジョウホウ リロン ノ タメ ノ スウリ ロンリガク
情報理論のための数理論理学 / 板井昌典著
(
数学のかんどころ
;
31
)
データ種別
図書
出版情報
東京 : 共立出版 , 2017.8
本文言語
日本語
大きさ
xi, 200p : 挿図 ; 21cm
所蔵情報を非表示
配架場所
請求記号
巻 次
ISBN
資料番号
資料状態
利用注記
コメント
予約・取寄
申込書
仮想書架
書庫2階
410.96:I873j
9784320110724
007509595
予約・取寄
仮想書架
予約・取寄
仮想書架
書誌詳細を非表示
別書名
奥付タイトル:Mathematical logic for informatics
一般注記
関連図書: p[195]-196
著者標目
板井, 昌典
<イタイ, マサノリ>
件 名
BSH:
記号論理学
分 類
NDLC:
MA41
NDC9:
410.96
巻冊次
ISBN:9784320110724 ; PRICE:1900円+税
ISBN
9784320110724
NCID
BB24269023
目次/あらすじ
類似資料
1
情報理論のための数理論理学 / 板井昌典著
2
記号論理学の原理 / H.ライヘンバッハ著 ; 石本新訳
3
いかにして推理するかいかにして証明するか : 論理パズルによる記号論理学入門 / 内井惣七著
4
真理とは何か / 大熊正著
5
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロ-著 ; 安藤四郎[ほか]訳
この資料の利用統計
このページへのアクセス回数:2回
※2021年9月12日以降
全貸出数:2回
(3か月以内の貸出:0回)
※2002年7月22日以降