検索結果書誌詳細：蔵書検索システム

ログインの状態：ログインしていません。ログインすると利用状況の確認等のサービスを利用できます。		カート（予約候補） 0 登録されていません。

蔵書情報

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

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

資料の状態

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

No.	資料番号	資料種別	請求記号	配架場所	状態	貸出
1	0013582242	図書一般	007.1/ﾀｶ16/	書庫	貸出可	○

この資料に対する操作

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

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

この資料に対する操作

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

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

書誌情報サマリ

タイトル	コンピュータと数学
人名	高橋正子／著
人名ヨミ	タカハシマサコ
出版者・発行者	朝倉書店
出版年月	2016.5

書誌詳細

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

書誌種別	図書
タイトル	コンピュータと数学
シリーズ名	現代基礎数学
シリーズ番号	2
タイトルヨミ	コンピュータトスウガク
シリーズ名ヨミ	ゲンダイキソスウガク
シリーズ番号ヨミ	2
人名	高橋正子／著
人名ヨミ	タカハシマサコ
出版者・発行者	朝倉書店
出版者・発行者等ヨミ	アサクラショテン
出版地・発行地	東京
出版・発行年月	2016.5
ページ数または枚数・巻数	8,156p
大きさ	21cm
価格	￥２８００
ISBN	978-4-254-11752-3
ISBN	4-254-11752-3
注記	文献:p139〜140
分類記号	007.1
件名	情報理論／数学
内容紹介	プログラミング初心者でも独学できる、コンピュータの原理を数学的に理解するためのテキスト。簡単なプログラムによる計算の表現、初等関数とNプログラム、万能関数と再帰定理などを解説する。
著者紹介	1939年東京都生まれ。ペンシルベニア大学博士課程修了。東京工業大学名誉教授。Ph.D.。著書に「計算論」がある。
言語区分	JPN
タイトルコード	1009812017925
目次	1.簡単なプログラムによる計算の表現
	1.1 Nプログラム／1.2 whileプログラム／1.3 Nプログラムとwhileプログラムの表現力／1.4 whileプログラムの第一標準形定理
	2.初等関数とNプログラム
	2.1 再帰的定義／2.2 初等関数と初等述語／2.3 初等関数とNプログラム／2.4 自然数列のコード化／2.5 whileプログラムの第二標準形定理／2.6 反復関数と最小解関数
	3.原始再帰的関数と再帰的関数
	3.1 原始再帰法と原始再帰的関数／3.2 初等関数と原始再帰的関数／3.3 再帰的関数とNプログラム／3.4 クリーネの標準形定理とその応用
	4.万能関数と再帰定理
	4.1 Nプログラムに対する万能プログラム／4.2 計算不可能な関数と決定不能な問題／4.3 再帰定理とその応用／4.5 漸化式による関数の定義とその計算可能性について
	5.原始再帰的関数の階層{Fj}
	5.1 限定原始再帰法と初等関数／5.2 関数列{hj}／5.3 関数の階層{Fj}／5.4 階層{Fj}と原始再帰的関数／5.5 階層{Fj}と初等関数／5.6 階層{Fj}とアッカーマン関数
	6.loopプログラムと階層{Fj}
	6.1 諸定義／6.2 loopプログラムの深さvs.計算時間／6.3 階層{Lj}と{Fj}