ようこそ!
マイページ
ご利用ガイド
組合員情報の変更
メールアドレスの変更
ログイン
サイトトップ
e
フレンズトップ
すべて
本
雑誌
CD
DVD・Blu-ray
クリア
本 こだわり検索
書名
著者名
商品説明
出版社名
出版年月
―
2026
2025
2024
2023
2022
2021
2020
2019
2018
2017
2016
2015
2014
2013
2012
2011
2010
2009
2008
2007
2006
2005
2004
2003
2002
2001
2000
1999
1998
1997
1996
1995
1994
1993
1992
1991
1990
1989
1988
1987
1986
1985
1984
1983
1982
年
―
1
2
3
4
5
6
7
8
9
10
11
12
月
以前
のみ
以降
ジャンル
選択してください
文庫
新書・選書
文芸
教養
人文
教育
芸術
児童
趣味
生活
地図・ガイド
就職・資格
語学
小学学参
中学学参
高校学参
辞典
コミック
ゲーム攻略本
エンターテイメント
日記手帳
社会
法律
経済
経営
ビジネス
理学
工学
コンピュータ
医学
看護学
薬学
ISBNコード
予約商品を表示しない
検索
クリア
本 >
理学
>
数学
>
数学一般
出版社名:朝倉書店
出版年月:2004年3月
ISBN:978-4-254-11660-1
194P 22cm
近代数学講座 10/計算論/復刊近代数学講座 10
小松勇作/編集/広瀬健/著
組合員価格 税込
3,658
円
(通常価格 税込 3,850円)
割引率 5%
お取り寄せ
お届け日未定
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
本書は、広い意味での“アルゴリズムの理論”を、なるべくやさしく解説する。
もくじ情報:第1章 アルゴリズム;第2章 テューリング機械;第3章 帰納的関数;第4章 形式的体系とその算術化;第5章 T‐述語の性質;第6章 決定問題;第7章 帰納的部分関数;第8章 帰納的加算集合;第9章 アルゴリズムの評価および複雑さによる分類;第10章 帰納的関数および帰納的述語の相対化―可解でない決定問題の分類;第11章 “計算”のモデルとしての流れ図
本書は、広い意味での“アルゴリズムの理論”を、なるべくやさしく解説する。
もくじ情報:第1章 アルゴリズム;第2章 テューリング機械;第3章 帰納的関数;第4章 形式的体系とその算術化;第5章 T‐述語の性質;第6章 決定問題;第7章 帰納的部分関数;第8章 帰納的加算集合;第9章 アルゴリズムの評価および複雑さによる分類;第10章 帰納的関数および帰納的述語の相対化―可解でない決定問題の分類;第11章 “計算”のモデルとしての流れ図
同じ著者名で検索した本
数学英和・和英辞典
小松勇作/編
近代数学講座 1/現代代数学/復刊近代数学講座 1
小松勇作/編集
近代数学講座 2/実函数論/復刊近代数学講座 2
小松勇作/編集
近代数学講座 3/常微分方程式論/復刊近代数学講座 3
小松勇作/編集
近代数学講座 4/偏微分方程式論/復刊近代数学講座 4
小松勇作/編集
近代数学講座 5/特殊函数/復刊近代数学講座 5
小松勇作/編集
近代数学講座 6/位相幾何学/復刊近代数学講座 6
小松勇作/編集
近代数学講座 7/函数解析/復刊近代数学講座 7
小松勇作/編集
近代数学講座 8/リーマン幾何学/復刊近代数学講座 8
小松勇作/編集
近代数学講座 9/確率論/復刊近代数学講座 9
小松勇作/編集
帰納的関数
廣瀬健/著
インクルーシブ・キャピタリズム 疲弊する資本主義 再生への新たな潮流
広瀬健/著 青木大樹/著 木村玄蔵/著 棚瀬順哉/著
行政経営改革の理論と実務
横山幸司/編著 廣瀬浩志/〔ほか〕著
伝統のディテール 日本建築の詳細と技術の変遷
伝統のディテール研究会/編 広瀬鎌二/著 矢野和之/著 藤井恵介/著 佐々木健/著
数学・基礎の基礎
広瀬健/著
ゲーデルの世界 完全性定理と不完全性定理
広瀬健/著 横田一正/著
第五世代コンピュータの計画/モナド・ブックス 27
淵一博/著 広瀬健/著
第五世代コンピュータの文化/モナド・ブックス 26
広瀬健/著 淵一博/著
もくじ情報:第1章 アルゴリズム;第2章 テューリング機械;第3章 帰納的関数;第4章 形式的体系とその算術化;第5章 T‐述語の性質;第6章 決定問題;第7章 帰納的部分関数;第8章 帰納的加算集合;第9章 アルゴリズムの評価および複雑さによる分類;第10章 帰納的関数および帰納的述語の相対化―可解でない決定問題の分類;第11章 “計算”のモデルとしての流れ図
もくじ情報:第1章 アルゴリズム;第2章 テューリング機械;第3章 帰納的関数;第4章 形式的体系とその算術化;第5章 T‐述語の性質;第6章 決定問題;第7章 帰納的部分関数;第8章 帰納的加算集合;第9章 アルゴリズムの評価および複雑さによる分類;第10章 帰納的関数および帰納的述語の相対化―可解でない決定問題の分類;第11章 “計算”のモデルとしての流れ図