Available on
JapaneseClass.jp
Login
Forgot password
MAIN
Social Feeds
LEARN
Practice
Lessons
Readings
Notes
COMMUNITY
Rankings
Forum
Discord
MISCELLANEOUS
Topics
Matome
Dictionary
Donate
様相論理 - Modal logic
View more
Shopping
数学における証明と真理 様相論理と数学基礎論/菊池誠/佐野勝彦/倉橋太志【3000円以上送料無料】
4,950
円
著者菊池誠(編) 佐野勝彦(著) 倉橋太志(著)出版社共立出版発売日2016年03月ISBN9784320111486ページ数288Pキーワードすうがくにおけるしようめいとしんりようそう スウガクニオケルシヨウメイトシンリヨウソウ きくち まこと さの かつひこ キクチ マコト サノ…
【送料無料】数学における証明と真理 様相論理と数学基礎論/菊池誠/編 佐野勝彦/著 倉橋太志/著 薄葉季路/著 黒川英徳/著 菊池誠/著
4,950
円
共立出版
探偵小説の様相論理学【電子書籍】[ 小森健太朗 ]
1,650
円
<p>〈モナド(個世界)〉の〈ロゴスコード〉が〈モナドロギー〉=〈セカイ系〉となるのに対し、モナド的な探偵小説ははたして成り立つのか?…
コンピュータサイエンスにおける様相論理 [ 鹿島 亮 ]
3,520
円
鹿島 亮 森北出版コンピュータサイエンスニオケルヨウソウロンリ カシマ リョウ 発行年月:2022年01月20日 予約締切日:2021年11月25日 ページ数:176p サイズ:単行本 ISBN:9784627856417 鹿島亮(カシマリョウ)…
コンピュータサイエンスにおける様相論理 鹿島亮/著
3,520
円
…
コンピュータサイエンスにおける様相論理/鹿島亮【3000円以上送料無料】
3,520
円
著者鹿島亮(著)出版社森北出版発売日2022年01月ISBN9784627856417ページ数165Pキーワードこんぴゆーたさいえんすにおけるようそうろんり コンピユータサイエンスニオケルヨウソウロンリ かしま りよう カシマ…
数学における証明と真理 様相論理と数学基礎論 [ 菊池 誠 ]
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
円
【メーカー名】紀伊国屋書店【メーカー型番】【ブランド名】掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【 ご注文からお届けまで…
【中古】 意味と必然性―意味論と様相論理学の研究 (1974年)
7,840
円
…
数学における証明と真理 様相論理と数学基礎論[本/雑誌] / 菊池誠/編 佐野勝彦/著 倉橋太志/著 薄葉季路/著 黒川英徳/著 菊池誠/著
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理学 数学 情報数学コンピュータサイエンスにおける様相論理コンピユ-タ サイエンス ニ オケル ヨウソウ…
コンピュータサイエンスにおける様相論理[本/雑誌] / 鹿島亮/著
3,520
円
ご注文前に必ずご確認ください<商品説明>モデル検査、プログラム検証...計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載!<収録内容>第1章 準備:命題論理第2章 K第3章 CTL第4章 様相ミュー計算第5章 PDL第6章…
数学における証明と真理: 様相論理と数学基礎論
5,559
円
…
Dictionary
様相
ようそう
aspect
0
論理
ろんり
logic
0
Tags
BNE識別子が指定されている記事
GND識別子が指定されている記事
NKC識別子が指定されている記事
モダリティ
哲学的論理学
様相論理
論理学
非古典論理
Share
Twitter
Trends
trends timeline
Languages
Modallogik
Modal logic
Lógica modal
Modaalilogiikka
Logique modale
Modale logica
Модальная логика
様相論理
Related
論理学
時相論理
数理論理学
述語論理
Similar
クリプキ意味論
義務論理
近傍意味論
動的意味論
命令論理
View More
JapaneseClass.jp
Travel
Japan Hotels