数学における証明と真理 様相論理と数学基礎論／菊池誠／佐野勝彦／倉橋太志【3000円以上送料無料】
4,950円
著者菊池誠(編) 佐野勝彦(著) 倉橋太志(著)出版社共立出版発売日2016年03月ISBN9784320111486ページ数288Pキーワードすうがくにおけるしようめいとしんりようそう スウガクニオケルシヨウメイトシンリヨウソウ きくち まこと さの かつひこ キクチ マコト サノ…
様相論理 - Modal logic
Shopping
![探偵小説の様相論理学【電子書籍】[ 小森健太朗 ]](https://thumbnail.image.rakuten.co.jp/@0_mall/rakutenkobo-ebooks/cabinet/1117/2000003531117.jpg?_ex=145x145)
![コンピュータサイエンスにおける様相論理 [ 鹿島 亮 ]](https://thumbnail.image.rakuten.co.jp/@0_mall/book/cabinet/6417/9784627856417.jpg?_ex=145x145)
コンピュータサイエンスにおける様相論理 [ 鹿島 亮 ]
3,520円鹿島 亮 森北出版コンピュータサイエンスニオケルヨウソウロンリ カシマ リョウ 発行年月：2022年01月20日 予約締切日：2021年11月25日 ページ数：176p サイズ：単行本 ISBN：9784627856417 鹿島亮（カシマリョウ）…
コンピュータサイエンスにおける様相論理／鹿島亮【3000円以上送料無料】
3,520円著者鹿島亮(著)出版社森北出版発売日2022年01月ISBN9784627856417ページ数165Pキーワードこんぴゆーたさいえんすにおけるようそうろんり コンピユータサイエンスニオケルヨウソウロンリ かしま りよう カシマ…![数学における証明と真理 様相論理と数学基礎論 [ 菊池 誠 ]](https://thumbnail.image.rakuten.co.jp/@0_mall/book/cabinet/1486/9784320111486.jpg?_ex=145x145)
数学における証明と真理 様相論理と数学基礎論 [ 菊池 誠 ]
4,950円様相論理と数学基礎論 菊池 誠 佐野 勝彦 共立出版スウガクニオケルショウメイトシンリ キクチ マコト サノ カツヒコ 発行年月：2016年03月24日 予約締切日：2016年03月23日 ページ数：304p サイズ：単行本 ISBN：9784320111486 佐野勝彦（サノカツヒコ）…
【3980円以上送料無料】コンピュータサイエンスにおける様相論理／鹿島亮／著
3,520円森北出版 情報科学 様相（論理学） 165P 22cm コンピユ−タ サイエンス ニ オケル ヨウソウ ロンリ カシマ，リヨウ
コンピュータサイエンスにおける様相論理／鹿島亮【1000円以上送料無料】
3,520円著者鹿島亮(著)出版社森北出版発売日2022年01月ISBN9784627856417ページ数165Pキーワードこんぴゆーたさいえんすにおけるようそうろんり コンピユータサイエンスニオケルヨウソウロンリ かしま りよう カシマ…
【中古】 意味と必然性 意味論と様相論理学の研究 (1974年)
37,972円【メーカー名】紀伊国屋書店【メーカー型番】【ブランド名】掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【 ご注文からお届けまで…
【中古】 意味と必然性 意味論と様相論理学の研究 (1974年)
23,514円【メーカー名】紀伊国屋書店【メーカー型番】【ブランド名】掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【 ご注文からお届けまで…
![数学における証明と真理 様相論理と数学基礎論[本/雑誌] / 菊池誠/編 佐野勝彦/著 倉橋太志/著 薄葉季路/著 黒川英徳/著 菊池誠/著](https://thumbnail.image.rakuten.co.jp/@0_mall/neowing-r/cabinet/item_img_1014/neobk-1935237.jpg?_ex=145x145)
数学における証明と真理 様相論理と数学基礎論[本/雑誌] / 菊池誠/編 佐野勝彦/著 倉橋太志/著 薄葉季路/著 黒川英徳/著 菊池誠/著
4,950円ご注文前に必ずご確認ください＜商品説明＞正しいから証明できるのか、証明できるから正しいのか。数学にとって証明とは何か、正しさとは何なのかは数学基礎論の根本的な問題である。様相論理を軸とした、証明と真理に関わる数学基礎論の古典的な結果から最先端の議論までを解説した。＜収録内容＞第1部…
数学における証明と真理 様相論理と数学基礎論／菊池誠／佐野勝彦／倉橋太志【1000円以上送料無料】
4,950円著者菊池誠(編) 佐野勝彦(著) 倉橋太志(著)出版社共立出版発売日2016年03月ISBN9784320111486ページ数288Pキーワードすうがくにおけるしようめいとしんりようそう スウガクニオケルシヨウメイトシンリヨウソウ きくち まこと さの かつひこ キクチ マコト サノ…【中古】 意味と必然性 意味論と様相論理学の研究 (1974年)
27,042円【状態】中古品（非常に良い）【メーカー名】紀伊国屋書店【メーカー型番】【ブランド名】掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【 ご注文からお届けまで…
コンピュータサイエンスにおける様相論理 / 鹿島亮 【本】
3,520円出荷目安の詳細はこちら内容詳細モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載！目次 : 第1章 準備：命題論理/ 第2章 K/ 第3章 CTL/…
【中古】 意味と必然性 意味論と様相論理学の研究 (1974年)
23,514円【メーカー名】紀伊国屋書店【メーカー型番】【ブランド名】掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【 ご注文からお届けまで…
コンピュータサイエンスにおける様相論理
3,520円鹿島亮／著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名森北出版出版年月2022年01月サイズ165P 22cmISBNコード9784627856417理学 数学 情報数学コンピュータサイエンスにおける様相論理コンピユ-タ サイエンス ニ オケル ヨウソウ…![コンピュータサイエンスにおける様相論理[本/雑誌] / 鹿島亮/著](https://thumbnail.image.rakuten.co.jp/@0_mall/neowing-r/cabinet/item_img_1587/neobk-2700015.jpg?_ex=145x145)
コンピュータサイエンスにおける様相論理[本/雑誌] / 鹿島亮/著
3,520円ご注文前に必ずご確認ください＜商品説明＞モデル検査、プログラム検証...計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載!＜収録内容＞第1章 準備:命題論理第2章 K第3章 CTL第4章 様相ミュー計算第5章 PDL第6章…
Dictionary
- 様相ようそうaspect0
- 論理ろんりlogic0
Modallogik
Modal logic
Lógica modal
Modaalilogiikka
Logique modale
Modale logica
Модальная логика
様相論理
