検索内容:
論理学の授業では、最初に命題論理を学び、その後述語論理へ進みます。
技術チームはサーバーバックプレーンに、電子バックプレーンバスを駆動するための低電圧の論理信号方式(電圧スイングが0.4〜1.2ボルトで、対称な並列抵抗終端を備えている)を実装しました。
研究者たちは、スケーラブルなプロセッサにおける誤り訂正を改善するために、新しい量子論理ゲートを開発しています。
研究者は、単一の計算ステップで量子ゲートが2つの量子ビットをもつれさせることを示した。
その技術者は故障を診断するために論理に基づく機械部品を分析した。
セミナーでは、表現力と限界を理解するために、さまざまな時相論理を検討しました。
ゼミでは、学生たちは形式的推論をより深く理解するために、異なる種類の記号論理学の歴史的展開を比較した。
研究者たちは、計算をモデル化する上で最も表現力があるものを見極めるために、いくつかの数理論理学の体系を比較した。
哲学のゼミで、日常的な議論をどのように扱うかを確かめるために、いくつかの非形式論理を比較しました。
研究者たちは異なる量子論理を比較して、どの枠組みが絡み合いを最もよくモデル化するかを判断した。
アカウントを持っていませんか? 新規登録
アカウントを持っていますか? ログイン
DiQt(ディクト)
無料
★★★★★★★★★★