検索結果書誌詳細

蔵書情報

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

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

書誌情報サマリ

書名

計算論理入門 (情報の数理)

著者名 田中 尚夫/著
著者名ヨミ タナカ ヒサオ
出版者 裳華房
出版年月 1997.10


この資料に対する操作

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

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

  

この資料に対する操作

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


資料情報

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

No. 所蔵館 配架場所 資料種別 資料番号 請求記号 帯出区分 状態 貸出
1 中央館閉架書庫B一般図書0113158655410.96/タナ/帯出可在庫 

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


書誌詳細

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

タイトルコード 1009710098000
書誌種別 図書
著者名 田中 尚夫/著
出版者 裳華房
出版年月 1997.10
ページ数 194p
大きさ 21cm
ISBN10 4-7853-1505-9
分類記号 410.96
書名 計算論理入門 (情報の数理)
書名ヨミ ケイサン ロンリ ニュウモン
内容紹介 1.ブール代数の基礎 2.オートマトンと形式文法 3.帰納的関数とチューリング計算機 4.命題論理学 5.命題論理に関する計算量問題 6.述語論理概説<ソフトカバー>



目次


内容細目

この資料に対する操作

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

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

  

この資料に対する操作

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


関連資料

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

2004
2004
786.3 786.3
パーソナルコンピュータ オペレーティング システム 電子工作
前のページへ