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
コンピュータサイエンスにおける様相論理 [ 鹿島 亮 ]
3,520
円
鹿島 亮 森北出版コンピュータサイエンスニオケルヨウソウロンリ カシマ リョウ 発行年月:2022年01月20日 予約締切日:2021年11月25日 ページ数:176p サイズ:単行本 ISBN:9784627856417 鹿島亮(カシマリョウ)…
コンピュータサイエンスにおける様相論理 鹿島亮/著
3,520
円
…
探偵小説の様相論理学【電子書籍】[ 小森健太朗 ]
1,650
円
<p>〈モナド(個世界)〉の〈ロゴスコード〉が〈モナドロギー〉=〈セカイ系〉となるのに対し、モナド的な探偵小説ははたして成り立つのか?…
コンピュータサイエンスにおける様相論理/鹿島亮【3000円以上送料無料】
3,520
円
著者鹿島亮(著)出版社森北出版発売日2022年01月ISBN9784627856417ページ数165Pキーワードこんぴゆーたさいえんすにおけるようそうろんり コンピユータサイエンスニオケルヨウソウロンリ かしま りよう カシマ…
【中古】 決定不能の論理パズル ゲーデルの定理と様相論理 / レイモンド スマリヤン, 長尾 確, 田中 朋之 / 白揚社 [単行本]【メール便送料無料】
720
円
著者:レイモンド スマリヤン, 長尾 確, 田中…
【中古】決定不能の論理パズル ゲ-デルの定理と様相論理 /白揚社/レイモンド・スマリヤン(単行本)
731
円
◆◆◆おおむね良好な状態です。中古商品のため若干のスレ、日焼け、使用感等ある場合がございますが、品質には十分注意して発送いたします。 【毎日発送】 商品状態 著者名 レイモンド・スマリヤン、長尾確 出版社名 白揚社 発売日 1990年11月1日 ISBN 9784826900447
意味と必然性―意味論と様相論理学の研究
10,776
円
…
コンピュータサイエンスにおける様相論理 鹿島 亮
3,499
円
…
【3980円以上送料無料】コンピュータサイエンスにおける様相論理/鹿島亮/著
3,520
円
森北出版 情報科学 様相(論理学) 165P 22cm コンピユ−タ サイエンス ニ オケル ヨウソウ ロンリ カシマ,リヨウ
コンピュータサイエンスにおける様相論理/鹿島亮【1000円以上送料無料】
3,520
円
著者鹿島亮(著)出版社森北出版発売日2022年01月ISBN9784627856417ページ数165Pキーワードこんぴゆーたさいえんすにおけるようそうろんり コンピユータサイエンスニオケルヨウソウロンリ かしま りよう カシマ…
【中古】 意味と必然性 意味論と様相論理学の研究 (1974年)
17,240
円
【メーカー名】紀伊国屋書店【メーカー型番】【ブランド名】掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【 ご注文からお届けまで…
【中古】 意味と必然性 意味論と様相論理学の研究 (1974年)
23,647
円
【メーカー名】紀伊国屋書店【メーカー型番】【ブランド名】掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【 ご注文からお届けまで…
コンピュータサイエンスにおける様相論理
3,520
円
鹿島亮/著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名森北出版出版年月2022年01月サイズ165P 22cmISBNコード9784627856417理学 数学 情報数学コンピュータサイエンスにおける様相論理コンピユ-タ サイエンス ニ オケル ヨウソウ…
コンピュータサイエンスにおける様相論理[本/雑誌] / 鹿島亮/著
3,520
円
ご注文前に必ずご確認ください<商品説明>モデル検査、プログラム検証...計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載!<収録内容>第1章 準備:命題論理第2章 K第3章 CTL第4章 様相ミュー計算第5章 PDL第6章…
【中古】 様相論理入門 ヒューズ他/三浦聰他訳 【古本・古書】
15,400
円
書名様相論理入門著者、出版社などヒューズ他/三浦聰他訳恒星社厚生閣菊判 函付 カバー付絶版1冊昭56自店管理番号140614自店分類番号7532保管場所バッドストック在庫1この度は山星書店の出品をご覧いただき誠に有り難うございます。…
コンピュータサイエンスにおける様相論理 / 鹿島亮 【本】
3,520
円
出荷目安の詳細はこちら内容詳細モデル検査、プログラム検証…計算機科学で重要な論理の数学的な基礎を理解する。証明体系の完全性、計算可能性、ゲーム意味論の妥当性の丁寧な証明を掲載!目次 : 第1章 準備:命題論理/ 第2章 K/ 第3章 CTL/…
コンピュータサイエンスにおける様相論理
3,520
円
鹿島亮/著本詳しい納期他、ご注文時はご利用案内・返品のページをご確認ください出版社名森北出版出版年月2022年01月サイズ165P 22cmISBNコード9784627856417理学 数学 情報数学商品説明コンピュータサイエンスにおける様相論理コンピユ-タ サイエンス ニ オケル ヨウソウ…
【中古】 意味と必然性 意味論と様相論理学の研究 (1974年)
22,284
円
【メーカー名】紀伊国屋書店【メーカー型番】【ブランド名】掲載画像は全てイメージです。実際の商品とは色味等異なる場合がございますのでご了承ください。【 ご注文からお届けまで…
探偵小説の様相論理学 [ 小森健太朗 ]
2,750
円
小森健太朗 南雲堂タンテイ ショウセツ ノ ヨウソウ ロンリガク コモリ,ケンタロウ 発行年月:2012年05月 ページ数:292p サイズ:単行本 ISBN:9784523265061 小森健太朗(コモリケンタロウ)…
【3980円以上送料無料】探偵小説の様相論理学/小森健太朗/著
2,750
円
南雲堂 推理小説 292P 20cm タンテイ シヨウセツ ノ ヨウソウ ロンリガク コモリ,ケンタロウ
Dictionary
論理
ろんり
logic
0
様相
ようそう
aspect
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