ようこそ ゲスト さん
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
指定図書(準備中)
ベストリーディング
利用者サービス
MYOPAC
北科大図書館
北科大HP
簡易検索:
蔵書検索
CiNii
JAIRO
CiNii Books
+詳細検索
戻る
印刷
メール送信
ファイル出力
Tweet
他の検索サイト
Webcat Plus
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
ケイサン ノ リロン
計算の理論 / 笠井琢美, 戸田誠之助著
(
情報数学講座
;
4
)
データ種別
図書
出版者
東京 : 共立出版
出版年
1993.6
本文言語
日本語
大きさ
ix, 225p ; 22cm
所蔵情報を非表示
配架場所
巻 次
請求記号
登録番号
状 態
ISBN
資料種別
利用注記
請求メモ
予約
2F書庫1-和書
410.9/KA72
010072601
4320026543
図書
書誌詳細を非表示
一般注記
参考書: p219-220
索引: p[221]-225
著者標目
笠井, 琢美
<カサイ, タクミ>
戸田, 誠之助
<トダ, セイノスケ>
件 名
BSH:
数学基礎論
BSH:
アルゴリズム
NDLSH:
計算量理論
分 類
NDC8:
410.9
NDC7:
410.1
NDLC:
MA41
書誌ID
1000047729
ISBN
4320026543
類似資料
1
証明論と計算量 / 竹内外史著
2
構造的計算量理論 / J.L. バルカサール, J. ディアス, J. ガバロ著 ; 足立暁生訳
3
計算可能性・計算の複雑さ入門 / 渡辺治著
4
無限のパラドックス : パズルで学ぶカントールとゲーデル / レイモンド・スマリヤン著 ; 長尾確訳
5
決定不能の論理パズル : ゲーデルの定理と様相論理 / レイモンド・スマリヤン著 ; 長尾確, 田中朋之訳
6
計算論 : 計算可能性とラムダ計算 / 高橋正子著
7
数学・基礎の基礎 / 廣瀬健著
8
PとNP : 計算量の根本問題 / 竹内外史著
9
離散構造とアルゴリズム / 藤重悟編 ; 徳山豪 [ほか] 共著
1 - 7
10
チューリングマシンと計算量の理論 / 守屋悦朗著
戻る
ページトップ
図書館サービス
‐
図書新着案内
‐
雑誌最新巻号案内
‐
AV資料新着案内
‐
雑誌タイトルリスト
‐
AV資料タイトルリスト
‐
指定図書(準備中)
‐
ベストリーディング
利用者サービス
‐
MYOPAC