スコットとデイナ・スコット
ショートカット: 違い、類似点、ジャカード類似性係数、参考文献。
スコットとデイナ・スコットの違い
スコット vs. デイナ・スコット
ット. デイナ・スチュアート・スコット (Dana Stewart Scott, 1932年-) はアメリカの計算機科学者、数学者、論理学者。数学的に難しい問題についての素養に基づき、非形式的だが厳格な方法で計算機科学・論理学・哲学にまたがる領域の根本的概念を明確化させてきた。オートマトン理論についての業績により1976年にチューリング賞を受賞。1970年代にはクリストファー・ストレイチーと共同でプログラム意味論への新たなアプローチを基礎付けた。様相論理、位相幾何学、圏論などでも業績を残している。 2012年現在は、カーネギーメロン大学で計算機科学と哲学と数理論理学の名誉教授を務めている。事実上引退しており、カリフォルニア州バークレー在住。2005年に創刊した学術誌 Logical Methods in Computer Science の編集長を務めている。.
スコットとデイナ・スコット間の類似点
スコットとデイナ・スコットは(ユニオンペディアに)共通で0ものを持っています。
上記のリストは以下の質問に答えます
- 何スコットとデイナ・スコットことは共通しています
- 何がスコットとデイナ・スコット間の類似点があります
スコットとデイナ・スコットの間の比較
デイナ・スコットが57を有しているスコットは、60の関係を有しています。 彼らは一般的な0で持っているように、ジャカード指数は0.00%です = 0 / (60 + 57)。
参考文献
この記事では、スコットとデイナ・スコットとの関係を示しています。情報が抽出された各記事にアクセスするには、次のURLをご覧ください: