ようこそ ゲスト さん
ヘルプ
入力補助
English
OPAC
図書館サービス
図書新着案内
雑誌最新巻号案内
AV資料新着案内
雑誌タイトルリスト
AV資料タイトルリスト
指定図書(準備中)
ベストリーディング
利用者サービス
MYOPAC
北科大図書館
北科大HP
簡易検索:
蔵書検索
CiNii
JAIRO
CiNii Books
+詳細検索
戻る
印刷
メール送信
ファイル出力
Tweet
他の検索サイト
Webcat Plus
CiNii Books
国立国会図書館サーチ
Google
Google Books
Google Scholar
ケイサンキ スウガク
計算機数学 / 町田元, 横森貴共著
データ種別
図書
出版者
東京 : 森北出版
出版年
1990.5
本文言語
日本語
大きさ
vi, 174p ; 22cm
所蔵情報を非表示
配架場所
巻 次
請求記号
登録番号
状 態
ISBN
資料種別
利用注記
請求メモ
予約
2F書庫1-和書
410/MA16
080005252
4627821506
図書(消耗品)
書誌詳細を非表示
一般注記
参考文献: p169〜170
著者標目
町田, 元(1946-)
<マチダ, ハジメ>
横森, 貴
<ヨコモリ, タカシ>
件 名
BSH:
数学
BSH:
電子計算機
NDLSH:
数学基礎論
分 類
NDC8:
410
NDC8:
410.9
書誌ID
1000044972
ISBN
4627821506
類似資料
1
数学の基礎をめぐる論争 : 21世紀の数学と数学基礎論のあるべき姿を考える : The mathematical intelligencer誌より / 田中一之編・監訳
2
集合・写像・論理 : 数学の基本を学ぶ / 中島匠一著
3
離散構造とアルゴリズム / 藤重悟編 ; 徳山豪 [ほか] 共著
1 - 7
4
計算の理論 / 笠井琢美, 戸田誠之助著
5
証明論と計算量 / 竹内外史著
6
計算論 : 計算可能性とラムダ計算 / 高橋正子著
7
計算可能性・計算の複雑さ入門 / 渡辺治著
8
数学・基礎の基礎 / 廣瀬健著
9
数学的世界観 : 現代数学の思想と展望 / 竹内外史著
10
インターネット時代の数学 / 戸川隼人 [ほか] 編
戻る
ページトップ
図書館サービス
‐
図書新着案内
‐
雑誌最新巻号案内
‐
AV資料新着案内
‐
雑誌タイトルリスト
‐
AV資料タイトルリスト
‐
指定図書(準備中)
‐
ベストリーディング
利用者サービス
‐
MYOPAC