サイトメニューここからこのページの先頭です

ショートカットキーの説明を開始します。画面遷移や機能実行は、説明にあるショートカットキーを同時に押した後、Enterキーを押してください。ショートカットキーの説明を聞くには、Alt+0。トップ画面の表示には、Alt+1。ログインを行うには、Alt+2。簡易検索画面の表示には、Alt+3。詳細検索画面の表示には、Alt+4。障害者向け資料検索画面の表示には、Alt+5。検索結果の並び替えを行うには、Alt+6。国立国会図書館ホームページの表示には、Alt+7。検索結果の絞り込みを行うには、Alt+8。以上でショートカットキーの説明を終わります。

ナビゲーションここから

ナビゲーションここまで

本文ここから

資料種別 図書

情報理論のための数理論理学 = Mathematical Logic for Informatics

板井昌典 著

詳細情報

タイトル 情報理論のための数理論理学 = Mathematical Logic for Informatics
著者 板井昌典 著
著者標目 板井, 昌典, 1953-
シリーズ名 数学のかんどころ ; 31
出版地(国名コード) JP
出版地東京
出版社共立出版
出版年月日等 2017.8
大きさ、容量等 200p ; 21cm
注記 文献あり 索引あり
注記 NDC(9版)はNDC(10版)を自動変換した値である。
ISBN 9784320110724
価格 1900円
JP番号 22943894
トーハンMARC番号 33647820
別タイトル Mathematical Logic for Informatics
出版年(W3CDTF) 2017
件名(キーワード) 記号論理学
Ajax-loader 関連キーワードを取得中..
件名(キーワード) 情報理論
Ajax-loader 関連キーワードを取得中..
NDLC MA41
NDC(10版) 410.96 : 数学
NDC(9版) 410.96 : 数学
対象利用者 一般
資料の種別 図書
言語(ISO639-2形式) jpn : 日本語

本文ここまで

Copyright © 2012 National Diet Library. All Rights Reserved.

フッター ここまで