ようこそ
ゲスト
さん
ログイン
OPAC
その他
ヘルプ
入力補助
English
横断検索
図書館サービス
電子リソースを探す
シラバス掲載図書(品川)
シラバス掲載図書(越中島)
図書館所蔵雑誌リスト
図書新着案内
ベストリーディング
MyLibrary
CLOSE
このページのリンク
コピー
他の検索サイト
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
CLOSE
»
情報理論のための数理論理学 / 板井昌典著
ジョウホウ リロン ノ タメ ノ スウリ ロンリガク
(
数学のかんどころ
;
31
)
所蔵情報を非表示
配架場所
巻 次
請求記号
資料番号
原簿番号
状 態
ISBN
予約
指定図書
仮想書架
越中島図書館 / 一般図書
410.8/Su23/31
201750713X
201750713
9784320110724
予約
仮想書架
予約
仮想書架
書誌詳細を非表示
出版情報
東京 : 共立出版 , 2017.8
大きさ
xi, 200p : 挿図 ; 21cm
別書名
奥付タイトル:Mathematical logic for informatics
一般注記
関連図書: p[195]-196
著者標目
板井, 昌典
<イタイ, マサノリ>
件 名
BSH:
記号論理学
分 類
NDLC:
MA41
NDC9:
410.96
本文言語
日本語
書誌ID
TB10084926
ISBN
9784320110724
NCID
BB24269023
巻冊次
ISBN:9784320110724 ; PRICE:1900円+税
目次/あらすじ
類似資料
1
ゲーデルの不完全性定理 / レイモンド・スマリヤン [著] ; 高橋昌一郎訳
2
真理とは何か / 大熊正著
3
証明の読み方・考え方 : 数学的思考過程への手引 / ダニエル・ソロ-著 安藤四郎[ほか]訳
4
記号論理入門 / 前原昭二著
: 新装版
5
数学の基礎体力をつけるためのろんりの練習帳 / 中内伸光著
6
知識と推論 / 森下真一著
7
数理論理学の基礎・基本 / 坪井明人著
8
数理論理学 / 鹿島亮著
9
コンピュータによる定理の証明 / Chin-Liang Chang, Richard Char-Tung Lee著 ; 長尾真, 辻井潤一訳
10
概念記法 / G.フレーゲ著 ; 藤村龍雄編