ようこそ！
マイページ
サイトトップ   eフレンズトップ
本 > 理学 > 数学 > 数学その他
出版社名：共立出版
出版年月：2022年6月
ISBN：978-4-320-11472-2
２９９Ｐ　２２ｃｍ
計算理論と数理論理学
田中一之／著
 
組合員価格 税込 4,158円
(通常価格 税込 4,620円)
割引率 10%
在庫あり
生協宅配にてお届け
※ご注文が集中した場合、お届けが遅れる場合がございます。
内容紹介・もくじなど
もくじ情報：第１章　計算理論入門（オートマトンとモノイド；チューリング機械　ほか）；第２章　命題論理と計算の複雑さ（トートロジーと証明；命題論理の完全性　ほか）；第３章　１階論理と決定問題（１階論理とは；スコーレムの定理　ほか）；第４章　２階論理と無限オートマトン（２階論理；２階算術と解析的階層　ほか）；第５章　階層理論と許容集合（オラクル計算と相対化；ｍ還元と単純集合　ほか）
もくじ情報：第１章　計算理論入門（オートマトンとモノイド；チューリング機械　ほか）；第２章　命題論理と計算の複雑さ（トートロジーと証明；命題論理の完全性　ほか）；第３章　１階論理と決定問題（１階論理とは；スコーレムの定理　ほか）；第４章　２階論理と無限オートマトン（２階論理；２階算術と解析的階層　ほか）；第５章　階層理論と許容集合（オラクル計算と相対化；ｍ還元と単純集合　ほか）
著者プロフィール
田中　一之(タナカ　カズユキ)
１９７８年東京工業大学理学部卒業。１９８６年カリフォルニア大学バークレー校数学科博士課程修了（Ｐｈ．Ｄ．）。現在、東北大学名誉教授。専門、数理論理学、数学基礎論、計算理論（本データはこの書籍が刊行された当時に掲載されていたものです）
田中　一之(タナカ　カズユキ)
１９７８年東京工業大学理学部卒業。１９８６年カリフォルニア大学バークレー校数学科博士課程修了（Ｐｈ．Ｄ．）。現在、東北大学名誉教授。専門、数理論理学、数学基礎論、計算理論（本データはこの書籍が刊行された当時に掲載されていたものです）

同じ著者名で検索した本

演習無機化学　基本から大学院入試まで
田中勝久／ほか著
無機化学　その現代的アプローチ
田中勝久／著　中平敦／著　平尾一之／著
山の上のロジック学園　不完全性定理をめぐる２週間の授業日誌
田中一之／著　バラマツヒトミ／絵
数学基礎論序説　数の体系への論理的アプローチ
田中一之／著
逆数学　定理から公理を「証明」する
ジョン・スティルウェル／著　田中一之／監訳・解説　川辺治之／訳
スマリヤン数理論理学講義　下巻/不完全性定理の先へ
レイモンド・Ｍ・スマリヤン／著　田中一之／監訳　川辺治之／訳
スマリヤン数理論理学講義　上巻/不完全性定理の理解のために
レイモンド・Ｍ・スマリヤン／著　田中一之／監訳　川辺治之／訳
シュライバー　アトキンス無機化学　下
Ｍａｒｋ　Ｗｅｌｌｅｒ／著　Ｔｉｎａ　Ｏｖｅｒｔｏｎ／著　Ｊｏｎａｔｈａｎ　Ｒｏｕｒｋｅ／著　Ｆｒａｓｅｒ　Ａｒｍｓｔｒｏｎｇ／著　田中勝久／訳者代表
シュライバー　アトキンス無機化学　上
Ｍａｒｋ　Ｗｅｌｌｅｒ／著　Ｔｉｎａ　Ｏｖｅｒｔｏｎ／著　Ｊｏｎａｔｈａｎ　Ｒｏｕｒｋｅ／著　Ｆｒａｓｅｒ　Ａｒｍｓｔｒｏｎｇ／著　田中勝久／訳者代表
 
 
このサイトの利用に関しては、ご利用生協の宅配事業に関する約款等ならびにeフレンズ利用約款に基づきます。
このサイトについて
ご利用ガイド
利用約款
特定取引法に基づく表示
個人情報の取り扱いについて
eフレンズトップ
お問い合わせ
©COOP KINKI all rights reserved.