Vforce : An Extensible Framework for Reconfigurable Supercomputing

スポンサーリンク

概要

• 論文の詳細を見る

論文 | ランダム

• 命題論理の恒真式を計算機を用いて求める方法および恒真式の性質について
• 多値論理の公理系の独立性および完全性の証明について
• 多値論理の公理の一般形より真理値表を計算機で直接導く方法について
• 11A-3 小テストの自己評価票を利用した学習指導法の工夫
• 7A-6 ISM構造学習法による数学I, 数学Aの指導について

もっと見る

スポンサーリンク