ログインすると広告が減り、学習に集中できます。
広告

検索結果- 英語 - 英語

検索内容:

Putnam

固有名詞
日本語の意味
名字 / 姓
このボタンはなに?

その姓の人物は祖父の懐中時計を骨董市に持ってきた。

Putnam County

固有名詞
日本語の意味
アメリカ合衆国フロリダ州にある郡。郡庁所在地はパラトカ。 / アメリカ合衆国ジョージア州にある郡。郡庁所在地はイートントン。 / アメリカ合衆国イリノイ州にある郡。郡庁所在地はヘネピン。
このボタンはなに?

アメリカ合衆国フロリダ州の郡(郡庁所在地:パラトカ)は昨年の夏に記録的な降雨を記録し、多くの低地の通りが冠水しました。

Davis-Putnam algorithm

固有名詞
日本語の意味
命題論理の解像度に基づく決定手続法を用い、第一階述論理の式の妥当性を検証するアルゴリズム
このボタンはなに?

その大学院生は、複数の一階述語論理式を命題論理に還元した後、それらの妥当性を検証するためにデイヴィス=プットナム法を用いた。

関連語

canonical

Webで検索する

英語 - 英語

項目
項目(1182733)
項目を追加する
例文
例文 (1463611)
例文を追加する
その他
編集者 (32)
編集ガイドライン
クレジット

ログイン / 新規登録

 

アプリをダウンロード!
DiQt

DiQt(ディクト)

無料

★★★★★★★★★★