検索結果書誌詳細

蔵書情報

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

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

書誌情報

書名

ゲーデルの不完全性定理     

著者名 レイモンド・スマリヤン/[著]   高橋 昌一郎/訳
出版者 丸善
出版年月 1996.7


この資料に対する操作

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

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

  

この資料に対する操作

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


マイ本棚へ追加ログインメモ


資料情報

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

No. 所蔵館 資料番号 請求記号 配架場所 所蔵棚番号 資料種別 帯出区分 状態 付録 貸出
1 中央図書館0117212498410.9/ス/書庫3一般図書一般貸出在庫   ○

関連資料

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

2020
2020
675.4 675.4
流通-データ処理 サプライチェーンマネジメント アルゴリズム

書誌詳細

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

タイトルコード 1001000954797
書誌種別 図書
書名 ゲーデルの不完全性定理     
書名ヨミ ゲーデル ノ フカンゼンセイ テイリ 
著者名 レイモンド・スマリヤン/[著]
著者名ヨミ レイモンド スマリヤン
著者名 高橋 昌一郎/訳
著者名ヨミ タカハシ ショウイチロウ
出版者 丸善
出版年月 1996.7
ページ数 220p
大きさ 22cm
分類記号 410.9
分類記号 410.9
ISBN 4-621-04204-1
内容紹介 数学・哲学・情報科学の専門家ばかりでなく、この定理に関心を持つ一般読者にも十分理解できるように書かれた入門書。ゲーデルの証明、タルスキーの定理、ロッサー体系など、最も単純なものを中心に、創意工夫をこらして解説。
著者紹介 1919年生まれ。シカゴ大学哲学科卒業。プリンストン大学等の教職を経て、92年よりインディアナ大学哲学科名誉教授。専門は論理学。多数の著書・論文がある。
件名 不完全性定理
言語区分 日本語

(他の紹介)内容紹介 アマゾンやヤマト運輸の最適戦略はどう計算できる?近未来の日本の物流成長戦略は?貨物新幹線の役割は?数理アルゴリズムや最適化モデルを使うと、驚きの効果がでる!
(他の紹介)目次 第1章 なぜ物流とアルゴか
第2章 物流問題と解決法のマッチング
第3章 定番の物流問題:拠点配置
第4章 定番の物流問題:配車
第5章 エクセル・ソルバーによる最適化
第6章 倉庫内の物流問題
第7章 モデルによるネット通販と運送業の分析
第8章 近未来の物流システム
(他の紹介)著者紹介 伊倉 義郎
 東京大学理学部物理学科卒業後、東京大学工学系研究科情報工学科修士、コーネル大学工学部インダストリアル・エンジニアリング・アンド・オペレーションズ・リサーチ学科で組み合わせ最適化でのPh.D.を取得。パシフィック・ガス・アンド・エレクトリック社(サンフランシスコ)、AT&Tベル研究所(ニュージャージー)主任研究員等を経て、1993年米国法人SAITECH,inc.を設立、その後日本法人(株)サイテック・ジャパンを設立。日米で多くのサプライチェーンやロジスティックの最適化プロジェクトやソフト開発に従事。INFORMS(米国OR学会)の実務研究部会主査や日本OR学会理事を歴任(本データはこの書籍が刊行された当時に掲載されていたものです)
高井 英造
 コロンビア大学工学部大学院(経営科学)修了(M.S、1965)。三菱石油(株)数理計画部、エネルギー調査部長を経て、静岡大学人文学部経済学科教授(経営情報論)、多摩大学大学院客員教授、文部科学省科学技術政策研究所科学技術動向研究センター客員研究官等を歴任。日本オペレーションズ・リサーチ学会フェロー(元副会長)、生産性本部APICS日本代表部顧問、日本ロジスティクスシステム協会(JILS)ストラテジックSCM・コースコーディネーター、ストラテジックSCMフォーラム(SSFJ)理事長(本データはこの書籍が刊行された当時に掲載されていたものです)


内容細目表

前のページへ

本文はここまでです。


ページの終わりです。