検索結果書誌詳細

一般図書
ログインすると表紙画像を
ご覧になれます
  • 書誌の詳細です。 現在、予約しているのは 0 件です。
  • 「資料情報」から書誌を予約カートに入れるページに移動します。

蔵書情報

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

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

書誌情報サマリ

書名

論理と計算のしくみ　

著者名 萩谷 昌己／著
著者名ヨミ ハギヤ マサミ
出版者 岩波書店
出版年月 2026.2

この資料に対する操作

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

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

  

この資料に対する操作

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

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

資料情報

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

No. 資料番号 請求記号 帯出区分 状態 配架場所 貸出
1 0108116989410.9/ﾊｷﾞ/貸閲複可在庫 ２階一般 ○

関連資料

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

2026
【山梨日日新聞縮刷版令和8年3月号】 山梨日日新聞縮刷版令和8年3月号
 【山梨日日新聞縮刷版令和8年2月号】 山梨日日新聞縮刷版令和8年2月号
 【山梨日日新聞縮刷版令和8年1月号】 山梨日日新聞縮刷版令和8年1月号
 【山梨日日新聞縮刷版令和7年12月号】 山梨日日新聞縮刷版令和7年12月号
 【ＪＡＰＡＮ ＰＲＥＣＩＯＵＳ　２０…】 ＪＡＰＡＮ ＰＲＥＣＩＯＵＳ　２０…
 【バドミントン・マガ…２０２６年６月号】 バドミントン・マガ…２０２６年６月号
 【通訳翻訳ジャ…２０２６　ＳＵＭＭＥＲ】 通訳翻訳ジャ…２０２６　ＳＵＭＭＥＲ
 【スマッシュ　２０２…２０２６年７月号】 スマッシュ　２０２…２０２６年７月号
 【ライ…第４７２号　２０２６.５　新緑】 ライ…第４７２号　２０２６.５　新緑
 【…春号 Ｓｐｒｉｎｇ ＮＯ．５４２】 …春号 Ｓｐｒｉｎｇ ＮＯ．５４２
 【音のゆうびん　Ｖｏｌ．１５６　２０…】 音のゆうびん　Ｖｏｌ．１５６　２０…
 【Ｍａｒｉｎｅ Ｖｏｉｃｅ２１　２０…】 Ｍａｒｉｎｅ Ｖｏｉｃｅ２１　２０…
 【広島平和科学　４７　…４７　２０２６】 広島平和科学　４７　…４７　２０２６
 【京都大学大学文書館研究紀要…第２４号】 京都大学大学文書館研究紀要…第２４号
 【ＬＰガス事業団広報　Ｎ…Ｎｏ．２３３】 ＬＰガス事業団広報　Ｎ…Ｎｏ．２３３
 【大倉山論集　第七十二輯第七十二輯】 大倉山論集　第七十二輯第七十二輯
 【観光とまちづくり　２０２６－２０２…】 観光とまちづくり　２０２６－２０２…
 【あんさんぶる　２０…２０２６年５月号】 あんさんぶる　２０…２０２６年５月号
 【大日光　第９３号第９３号】 大日光　第９３号第９３号
 【日経パソコン…２０２６年５月２５日号】 日経パソコン…２０２６年５月２５日号
 【ｎｏｎ・ｎ…２０２６年７・８月合併号】 ｎｏｎ・ｎ…２０２６年７・８月合併号
 【ＭＵＳＩＣ ＭＡＧ…２０２６年６月号】 ＭＵＳＩＣ ＭＡＧ…２０２６年６月号
 【ひらがなタイムズ　…２０２６年６月号】 ひらがなタイムズ　…２０２６年６月号
 【ＣＹＣＬＥ ＳＰＯ…２０２６年７月号】 ＣＹＣＬＥ ＳＰＯ…２０２６年７月号
 【月刊ピアノ　２０２…２０２６年６月号】 月刊ピアノ　２０２…２０２６年６月号
 【碁ワールド　２０２…２０２６年６月号】 碁ワールド　２０２…２０２６年６月号
 【月刊食堂　２０２…２０２６年月６月号】 月刊食堂　２０２…２０２６年月６月号
 【ベースボール／…２０２６年６月１日号】 ベースボール／…２０２６年６月１日号
 【キネマ旬報　２０２…２０２６年６月号】 キネマ旬報　２０２…２０２６年６月号
 【みんなの図書館　２…２０２６年６月号】 みんなの図書館　２…２０２６年６月号
 【華道　２０２６年６…２０２６年６月号】 華道　２０２６年６…２０２６年６月号
 【NEWSWEEK…２０２６．４．２４】 NEWSWEEK…２０２６．４．２４
 【ＴＩＭＥ（ジャパ…２０２６．５／１１】 ＴＩＭＥ（ジャパ…２０２６．５／１１
 【工場管理　２０２６…２０２６年６月号】 工場管理　２０２６…２０２６年６月号
 【現代化学　２０２６…２０２６年６月号】 現代化学　２０２６…２０２６年６月号
 【美しいキモノ　２０２６…２０２６　夏】 美しいキモノ　２０２６…２０２６　夏
 【運輸と経済　２０２…２０２６年５月号】 運輸と経済　２０２…２０２６年５月号
 【自由と正義　２０２…２０２６年５月号】 自由と正義　２０２…２０２６年５月号
 【…Ｖｏｌ．９８　２０２６年６月－７月】 …Ｖｏｌ．９８　２０２６年６月－７月
 【ビッグイシュー日本版　５２…５２７号】 ビッグイシュー日本版　５２…５２７号
 【民具マンスリー　第５９…第５９巻２号】 民具マンスリー　第５９…第５９巻２号
 【民具マンスリー　第５９…第５９巻１号】 民具マンスリー　第５９…第５９巻１号
 【現代短歌　Ｎ…Ｎｏ．１１５　２０２６】 現代短歌　Ｎ…Ｎｏ．１１５　２０２６
 【現代林業　２０２６…２０２６年６月号】 現代林業　２０２６…２０２６年６月号
 【ＢＡＮＤ　ＪＯＵＲ…２０２６年６月号】 ＢＡＮＤ　ＪＯＵＲ…２０２６年６月号
 【ＳＴＥＲＥＯ（ステ…２０２６年６月号】 ＳＴＥＲＥＯ（ステ…２０２６年６月号
 【Ｃｕｔ　…２０２６年６月号　ＪＵＮＥ】 Ｃｕｔ　…２０２６年６月号　ＪＵＮＥ
 【週刊東洋経済…２０２６年５月２３日号】 週刊東洋経済…２０２６年５月２３日号
 【ＡＥＲＡ…２０２６．５．２５　増大号】 ＡＥＲＡ…２０２６．５．２５　増大号
 【本の雑誌　２０２６年６月号　てるて…】 本の雑誌　２０２６年６月号　てるて…
 【サンデー毎日…２０２６年５月３１日号】 サンデー毎日…２０２６年５月３１日号
 【Ｎｅｗｓｗｅ…２０２６年５月２６日号】 Ｎｅｗｓｗｅ…２０２６年５月２６日号
 【判例時報　２…２０２６年５月１５日号】 判例時報　２…２０２６年５月１５日号
 【社会教育／月刊　２…２０２６年６月号】 社会教育／月刊　２…２０２６年６月号
 【音楽の友　２０２６…２０２６年６月号】 音楽の友　２０２６…２０２６年６月号
 【Ｄｉａｍｏｎ…２０２６年５月２３日号】 Ｄｉａｍｏｎ…２０２６年５月２３日号
 【ラジオ深夜便　２０…２０２６年６月号】 ラジオ深夜便　２０…２０２６年６月号
 【こどもの図書館　２０２６年５月号　…】 こどもの図書館　２０２６年５月号　…
 【日経ビジネス…２０２６年５月１８日号】 日経ビジネス…２０２６年５月１８日号
 【東興ビジネス情報ＹＡ…Ｎｏ．３１５５】 東興ビジネス情報ＹＡ…Ｎｏ．３１５５
 【ライブラ…第５５号／２０２６年 春号】 ライブラ…第５５号／２０２６年 春号
 【書斎の窓　２０２６…２０２６年５月号】 書斎の窓　２０２６…２０２６年５月号
 【心理臨床の広場　Ｖｏｌ．１９ Ｎｏ…】 心理臨床の広場　Ｖｏｌ．１９ Ｎｏ…
 【国際農林業協…Ｖｏｌ．４８　Ｎｏ．４】 国際農林業協…Ｖｏｌ．４８　Ｎｏ．４
 【外国の立法　立法情報・翻訳・解説　…】 外国の立法　立法情報・翻訳・解説　…
 【神園　第三十五号第三十五号】 神園　第三十五号第三十五号
 【俳句四季　２０２…２０２６年５月号　】 俳句四季　２０２…２０２６年５月号　
 【波濤　２０２６年５…２０２６年５月号】 波濤　２０２６年５…２０２６年５月号
 【ひよこクラブ　２０…２０２６年　夏号】 ひよこクラブ　２０…２０２６年　夏号
 【岳人　２０２６年６…２０２６年６月号】 岳人　２０２６年６…２０２６年６月号
 【モノ・マガジ…２０２６年６月２日号　】 モノ・マガジ…２０２６年６月２日号　
 【週刊金曜日　…２０２６年５月１５日号】 週刊金曜日　…２０２６年５月１５日号
 【みんなのねがい　２…２０２６年６月号】 みんなのねがい　２…２０２６年６月号
 【ＡＵＴＯ　ＣＡＭＰ…２０２６年６月号】 ＡＵＴＯ　ＣＡＭＰ…２０２６年６月号
 【Ｎｅｗｓがわかる　…２０２６年６月号】 Ｎｅｗｓがわかる　…２０２６年６月号
 【月刊陸上競技　２０…２０２６年６月号】 月刊陸上競技　２０…２０２６年６月号
 【Ｇａｌｌｅｒｙ　２…２０２６年５月号】 Ｇａｌｌｅｒｙ　２…２０２６年５月号
 【山と渓谷　２０２６…２０２６年６月号】 山と渓谷　２０２６…２０２６年６月号
 【婦人公論　２０２６…２０２６年６月号】 婦人公論　２０２６…２０２６年６月号
 【健康３６５　２０２…２０２６年５月号】 健康３６５　２０２…２０２６年５月号
 【本郷　第１８３号第１８３号】 本郷　第１８３号第１８３号
 【ＮＴＴ技術ジャーナ…２０２６年５月号】 ＮＴＴ技術ジャーナ…２０２６年５月号
 【電気と工事　２０２…２０２６年６月号】 電気と工事　２０２…２０２６年６月号
 【蛍雪時代　２０２６…２０２６年６月号】 蛍雪時代　２０２６…２０２６年６月号
 【小説すばる　２０２…２０２６年６月号】 小説すばる　２０２…２０２６年６月号
 【月刊バレーボール　…２０２６年６月号】 月刊バレーボール　…２０２６年６月号
 【Birder　２０…２０２６年６月号】 Birder　２０…２０２６年６月号
 【財界　２０２…２０２６年５月２７日号】 財界　２０２…２０２６年５月２７日号
 【ＪＡＳと食品表示　…２０２６年５月号】 ＪＡＳと食品表示　…２０２６年５月号
 【日本医師会雑誌　２…２０２６年５月号】 日本医師会雑誌　２…２０２６年５月号
 【老健　２０２６年５…２０２６年５月号】 老健　２０２６年５…２０２６年５月号
 【評価クォー…２０２６．４　Ｎｏ．７７】 評価クォー…２０２６．４　Ｎｏ．７７
 【石垣　２０２６年５…２０２６年５月号】 石垣　２０２６年５…２０２６年５月号
 【Ｖｏｔｅｒｓ　Ｎｏ．９１Ｎｏ．９１】 Ｖｏｔｅｒｓ　Ｎｏ．９１Ｎｏ．９１
 【日経アーキテ…２０２６年５月１４日号】 日経アーキテ…２０２６年５月１４日号
 【ＢＲＵＴＵＳ　…２０２６年６月１日号】 ＢＲＵＴＵＳ　…２０２６年６月１日号
 【オレンジページ…２０２６年６月２日号】 オレンジページ…２０２６年６月２日号
 【こどもの本　２０２…２０２６年６月号】 こどもの本　２０２…２０２６年６月号
 【月刊自治研　２０２…２０２６年５月号】 月刊自治研　２０２…２０２６年５月号
 【地域づくり　２０２…２０２６年５月号】 地域づくり　２０２…２０２６年５月号
410.9　410.9
【不完全性定理とはなにか　：　ゲーデ…】 不完全性定理とはなにか　：　ゲーデ…
竹内 薫／著 【組合せ論プロムナード】 組合せ論プロムナード
山田 裕史／著 【和算からベルヌーイ数へと続く数の世…】 和算からベルヌーイ数へと続く数の世…
小林 吹代／著 【現代数学はじめの一歩集合と位相　：…】 現代数学はじめの一歩集合と位相　：…
瀬山 士郎／著 【無限とはなんだろう　：　限りなく多…】 無限とはなんだろう　：　限りなく多…
玉野 研一／著 【数学基礎論】 数学基礎論
新井 敏康／著 【集合・位相・圏　：　数学の言葉への…】 集合・位相・圏　：　数学の言葉への…
原 啓介／著 【離散数学入門　：　整数の誕生から「…】 離散数学入門　：　整数の誕生から「…
芳沢 光雄／著 【スマリヤン不完全性定理】 スマリヤン不完全性定理
Raymond … 【組合せ数学】 組合せ数学
ロビン・ウィルソ… 【離散数学「ものを分ける理論」　：　…】 離散数学「ものを分ける理論」　：　…
徳田 雄洋／著 【無限】 無限
イアン・スチュア… 【数学基礎論】 数学基礎論
前原 昭二／著,… 【「P≠NP」問題　：　現代数学の超…】 「P≠NP」問題　：　現代数学の超…
野崎 昭弘／著 【「無限」に魅入られた天才数学者たち】 「無限」に魅入られた天才数学者たち
アミール・D.ア… 【あいまいさの数理】 あいまいさの数理
遠藤 靖典／著 【集合論入門】 集合論入門
赤 攝也／著 【13歳の娘に語るアルキメデスの無限…】 13歳の娘に語るアルキメデスの無限…
金 重明／著 【無限と有限のあいだ】 無限と有限のあいだ
芳沢 光雄／著 【不完全性定理とはなにか　：　ゲーデ…】 不完全性定理とはなにか　：　ゲーデ…
竹内 薫／著 【数学は無限を創る】 数学は無限を創る
リリアン・R.リ… 【公理と証明　：　証明論への招待】 公理と証明　：　証明論への招待
彌永 昌吉／著,… 【すうがくと友だちになる物語1】 すうがくと友だちになる物語1
小島 寛之／著,… 【ゲーデルに挑む　：　証明不可能なこ…】 ゲーデルに挑む　：　証明不可能なこ…
田中 一之／著 【カントル神学的数学の原型】 カントル神学的数学の原型
落合 仁司／著 【ゲームとパズルの計算量】 ゲームとパズルの計算量
ロバート・A.ハ… 【ベーテ仮説と組合せ論】 ベーテ仮説と組合せ論
国場 敦夫／著 【数学基礎論】 数学基礎論
新井 敏康／著 【ゲーデル不完全性発見への道】 ゲーデル不完全性発見への道
北田 均／著 【ゲーデルの定理　：　利用と誤用の不…】 ゲーデルの定理　：　利用と誤用の不…
トルケル・フラン… 【不可能、不確定、不完全　：　「でき…】 不可能、不確定、不完全　：　「でき…
ジェイムズ・D.… 【ファジィ理論　：　基礎と応用】 ファジィ理論　：　基礎と応用
瀧澤 武信／編著… 【組合せ論プロムナード】 組合せ論プロムナード
山田 裕史／著 【バナッハ=タルスキの逆説　：　豆と…】 バナッハ=タルスキの逆説　：　豆と…
レナード・M.ワ… 【「無限」の考察】 「無限」の考察
足立 恒雄／著,… 【魅了する無限　：　アキレスは本当に…】 魅了する無限　：　アキレスは本当に…
藤田 博司／著 【離散数学「数え上げ理論」　：　「お…】 離散数学「数え上げ理論」　：　「お…
野崎 昭弘／著 【無限への飛翔　：　集合論の誕生】 無限への飛翔　：　集合論の誕生
志賀 浩二／[著… 【ゲーデルと20世紀の論理学(ロジ…4】 ゲーデルと20世紀の論理学(ロジ…4
田中 一之／編 【カントールの区間縮小法　：　ミーた…】 カントールの区間縮小法　：　ミーた…
市川 秀志／著 【ゲーデルと20世紀の論理学(ロジ…3】 ゲーデルと20世紀の論理学(ロジ…3
田中 一之／編 【ゲーデルと20世紀の論理学(ロジ…2】 ゲーデルと20世紀の論理学(ロジ…2
田中 一之／編 【不完全性定理】 不完全性定理
ゲーデル／[著]… 【ゲーデルと20世紀の論理学(ロジ…1】 ゲーデルと20世紀の論理学(ロジ…1
田中 一之／編 【不完全性定理　：　数学的体系のあゆ…】 不完全性定理　：　数学的体系のあゆ…
野崎 昭弘／著 【集合・位相・測度】 集合・位相・測度
志賀 浩二／著 【選択公理と数学　：　発生と論争,そ…】 選択公理と数学　：　発生と論争,そ…
田中 尚夫／著 【数学にときめくふしぎな無限　：　イ…】 数学にときめくふしぎな無限　：　イ…
e-教室／編,新… 【逆説論理学】 逆説論理学
野崎 昭弘／著 【計算量理論の存亡1】 計算量理論の存亡1
山口 人生／著 【お話・数学基礎論　：　数学では必ず…】 お話・数学基礎論　：　数学では必ず…
八杉 満利子／著… 【集合とはなにか　：　はじめて学ぶ人…】 集合とはなにか　：　はじめて学ぶ人…
竹内 外史／著 【パラドックス!】 パラドックス!
林 晋／編著 【無限のパラドクス　：　数学から見た…】 無限のパラドクス　：　数学から見た…
足立 恒雄／著 【算数でホラー】 算数でホラー
小島 寛之／作,… 【選択公理と数学　：　発生と論争,そ…】 選択公理と数学　：　発生と論争,そ…
田中 尚夫／著 【ゲーデルの哲学　：　不完全性定理と…】 ゲーデルの哲学　：　不完全性定理と…
高橋 昌一郎／著 【ミステリーな算数】 ミステリーな算数
小島 寛之／作,… 【バナッハ・タルスキーのパラドックス】 バナッハ・タルスキーのパラドックス
砂田 利一／著 【ファジィ数学入門　：　ソフトサイエ…】 ファジィ数学入門　：　ソフトサイエ…
山下 元／共著,… 【ゲーデルの不完全性定理】 ゲーデルの不完全性定理
レイモンド・スマ… 【ファジィ科学　：　人間・社会・自然…】 ファジィ科学　：　人間・社会・自然…
浅居 喜代治／編 【離散数学入門】 離散数学入門
秋山 仁／著,R… 【だからファジィが面白い】 だからファジィが面白い
広田 薫／著 【思考の道具箱　：　情報 数 空間 …】 思考の道具箱　：　情報 数 空間 …
ルディ・ラッカー… 【ゲーデル・不完全性定理　：　“理性…】 ゲーデル・不完全性定理　：　“理性…
吉永 良正／著 【無限の不思議　：　その先に何がある…】 無限の不思議　：　その先に何がある…
仲田 紀夫／著 【ファジィ数理と応用】 ファジィ数理と応用
Arnold K… 【パラドックスへの挑戦　：　ゲーデル…】 パラドックスへの挑戦　：　ゲーデル…
大出 晁／著 【ファジィ--「あいまい」の科学】 ファジィ--「あいまい」の科学
向殿 政男／著,… 【ファジィ集合　：　自然言語演算とリ…】 ファジィ集合　：　自然言語演算とリ…
K・J・シュマッ… 【ファジィのはなし】 ファジィのはなし
向殿 政男／著 【現代論理学入門　：　情報から論理へ】 現代論理学入門　：　情報から論理へ
本橋 信義／著 【計算量理論概説】 計算量理論概説
足立 暁生／著,… 【絵のパラドクスと言葉のパラドクス】 絵のパラドクスと言葉のパラドクス
吉田 夏彦／著 【数学的世界観　：　現代数学の思想と…】 数学的世界観　：　現代数学の思想と…
竹内 外史／著 【やさしい集合論】 やさしい集合論
大村 平／著 【組合せ理論とその応用】 組合せ理論とその応用
高橋 磐郎／著 【「無限」の話　：　現代数学の根底を…】 「無限」の話　：　現代数学の根底を…
小野 勝次／著 【数学切りぬき帳】 数学切りぬき帳
矢野 健太郎／著 【親と教師のための新しい数学集合の本】 親と教師のための新しい数学集合の本
ヴァルター・R・…
大川出版賞
【デジタルゲーム研究】 デジタルゲーム研究
吉田 寛／著 【拡散モデル　：　データ生成技術の数…】 拡散モデル　：　データ生成技術の数…
岡野原 大輔／著 【知の生態学の冒険J・J・ギブソン…1】 知の生態学の冒険J・J・ギブソン…1
 【災害情報　：　東日本大震災からの教…】 災害情報　：　東日本大震災からの教…
関谷 直也／著 【耐量子計算機暗号】 耐量子計算機暗号
縫田 光司／著 【5G　：　次世代移動通信規格の可能…】 5G　：　次世代移動通信規格の可能…
森川 博之／著 【How Human is Huma…】 How Human is Huma…
Ishiguro… 【デジタル資本主義】 デジタル資本主義
森 健／著,日戸… 【AI vs.教科書が読めない子ども…】 AI vs.教科書が読めない子ども…
新井 紀子／著 【記号と再帰　：　記号論の形式・プロ…】 記号と再帰　：　記号論の形式・プロ…
田中 久美子／著 【情報法のリーガル・マインド】 情報法のリーガル・マインド
林 紘一郎／著 【ブロックチェーン革命　：　分散自律…】 ブロックチェーン革命　：　分散自律…
野口 悠紀雄／著 【インターネット・バイ・デザイン　：…】 インターネット・バイ・デザイン　：…
江崎 浩／著 【ディジタル移動通信技術のすべて】 ディジタル移動通信技術のすべて
赤岩 芳彦／著 【青い光に魅せられて　：　青色LED…】 青い光に魅せられて　：　青色LED…
赤崎 勇／著 【暗号　：　情報セキュリティの技術と…】 暗号　：　情報セキュリティの技術と…
辻井 重男／[著… 【岩波講座計算科学別巻】 岩波講座計算科学別巻
宇川 彰／編集,… 【ITが守る、ITを守る　：　天災・…】 ITが守る、ITを守る　：　天災・…
坂井 修一／著 【どうすれば「人」を創れるか　：　ア…】 どうすれば「人」を創れるか　：　ア…
石黒 浩／著 【記号と再帰　：　記号論の形式・プロ…】 記号と再帰　：　記号論の形式・プロ…
田中 久美子／著 【電子書籍の衝撃　：　本はいかに崩壊…】 電子書籍の衝撃　：　本はいかに崩壊…
佐々木 俊尚／[… 【電子図書館】 電子図書館
長尾 真／著 【コンパイラの構成と最適化】 コンパイラの構成と最適化
中田 育男／著 【気象と大気のレーダーリモートセンシ…】 気象と大気のレーダーリモートセンシ…
深尾 昌一郎／著… 【メディアの議題設定機能　：　マスコ…】 メディアの議題設定機能　：　マスコ…
竹下 俊郎／著 【世界市場を制覇する国際標準化戦略　…】 世界市場を制覇する国際標準化戦略　…
原田 節雄／著 【フォトニクス　：　光エレクトロニク…】 フォトニクス　：　光エレクトロニク…
末松 安晴／共著… 【岩波講座ロボット学4】 岩波講座ロボット学4
井上 博允／[ほ… 【気象と大気のレーダーリモートセンシ…】 気象と大気のレーダーリモートセンシ…
深尾 昌一郎／著… 【オントロジー工学】 オントロジー工学
溝口 理一郎／著… 【学術情報と知的所有権　：　オーサシ…】 学術情報と知的所有権　：　オーサシ…
名和 小太郎／著 【ポストゲノム情報への招待】 ポストゲノム情報への招待
金久 実／著 【コンパイラの構成と最適化】 コンパイラの構成と最適化
中田 育男／著 【視覚情報の基礎理論　：　パターン認…】 視覚情報の基礎理論　：　パターン認…
飯島 泰蔵／著 【インターネット2】 インターネット2
村井 純／著 【メディア人間　：　コミュニケーショ…】 メディア人間　：　コミュニケーショ…
中野 収／著 【メディアの進化と権力】 メディアの進化と権力
川上 和久／著 【インターネット[1]】 インターネット[1]
村井 純／著 【電子図書館】 電子図書館
長尾 真／著 【電脳進化論　：　ギガ・テラ・ペタ】 電脳進化論　：　ギガ・テラ・ペタ
立花 隆／著 【ソフトウェアの話】 ソフトウェアの話
黒川 利明／著 【NHK電子立国日本の自叙伝完結】 NHK電子立国日本の自叙伝完結
相田 洋／著 【岩波講座ソフトウェア科学17】 岩波講座ソフトウェア科学17
 【NHK電子立国日本の自叙伝下】 NHK電子立国日本の自叙伝下
相田 洋／著 【NHK電子立国日本の自叙伝中】 NHK電子立国日本の自叙伝中
相田 洋／著 【NHK電子立国日本の自叙伝上】 NHK電子立国日本の自叙伝上
相田 洋／著

書誌詳細

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

タイトルコード 1009952405075
書誌種別 和図書（一般）
著者名 萩谷 昌己／著 　 西崎 真也／著
著者名ヨミ ハギヤ マサミ　ニシザキ シンヤ
出版者 岩波書店
出版年月 2026.2
ページ数 14,256p
大きさ 21cm
ISBN 4-00-006194-0
分類記号 410.9
分類記号 410.9
書名 論理と計算のしくみ　
書名ヨミ ロンリ ト ケイサン ノ シクミ
内容紹介 計算機科学の基盤となっている「論理と計算」に関する基本概念について解説するとともに、両者の間のさまざまな関係を説明。命題論理と述語論理、ゲーデル不完全性定理、ラムダ計算などを取り上げる。章末問題も収録。
著者紹介 東京大学名誉教授。理学博士。専門は計算機科学。

(他の紹介)内容紹介 論理と計算の概念は、いまでは計算機科学の基盤となっている。本書は、命題論理や述語論理、そして様相論理など形式論理の基礎を学んだあと、ゲーデル不完全性定理を通して「計算」の意味を理解する。さらに計算モデルの典型であるラムダ計算について学習し、論理と計算の関係だけでなく、両者をつなぐ「しくみ」を理解する。
(他の紹介)目次 １　集合と関係（集合
関係）
２　命題論理と述語論理（命題論理
一階述語論理
高階述語論理とその部分体系）
３　様相論理と直観主義論理（命題様相論理
多重様相論理
時相論理
命題直観主義論理）
４　計算可能性（チューリング機械
帰納的関数
不完全性定理
プレスバーガ算術
述語論理の決定不能性と決定可能な部分体系）
５　λ計算（λ項
簡約
型付きλ計算）
章末問題解答
(他の紹介)著者紹介 萩谷 昌己
　１９５７年生まれ。１９８０年東京大学理学部情報科学科卒。東京大学大学院情報理工学系研究科教授を経て、東京大学名誉教授。理学博士。専門は、計算機科学(本データはこの書籍が刊行された当時に掲載されていたものです)
西崎 真也
　１９６７年生まれ。１９９４年京都大学大学院理学研究科博士課程了。現在、東京科学大学情報基盤センター教授。博士（理学）。専門は、計算機科学(本データはこの書籍が刊行された当時に掲載されていたものです)


目次


内容細目

前のページへ
このページの先頭へ トップページへ

本文はここまでです。

ページの終わりです。