「Linear Logic」を解説文に含む見出し語の検索結果(1～10/660件中)
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/26 14:14 UTC 版)「並行制約プログラミング」の記事における「線形並行制約プログラミング」の解説線形並行制約...
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱し...
ゲーム意味論（ゲームいみろん、Game Semantics）とは、ゲーム理論的概念（プレイヤーの勝利戦略の存在など）に基づいた論理の意味論の手法である。1950年代後半にパウル・ローレンツェンが提唱し...
出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/06/12 02:07 UTC 版)「数理論理学」の記事における「学部教科書」の解説青本和彦（編）; 上野健...
レプラコーンコンピューターの Direct-coupler transistor logic (DCTL) 回路Direct-coupled transistor logic (DCTL) は、Res...
TPTP (Thousands of Problems for Theorem Provers)[1] とは自由に利用可能な自動定理証明のための問題集である。これは自動推論アルゴリズム...
TPTP (Thousands of Problems for Theorem Provers)[1] とは自由に利用可能な自動定理証明のための問題集である。これは自動推論アルゴリズム...
ナビゲーションに移動検索に移動 DTLによる2入力NANDゲートの単純化した回路図Diode-transistor logic (DTL) はバイポーラトランジスタとダイオードと抵抗器で構成される、デ...
ナビゲーションに移動検索に移動 DTLによる2入力NANDゲートの単純化した回路図Diode-transistor logic (DTL) はバイポーラトランジスタとダイオードと抵抗器で構成される、デ...
Resistor-transistor logic (RTL)は、入力ネットワークとして抵抗器を使い、スイッチングデバイスとしてバイポーラトランジスタを使ったデジタル回路の一種。トランジスタを使った論...
< 前の結果 | 次の結果 >