ロングレール(ロングレール)

    MQ01

    BT レール

    論文(ロンブン)

    BA01

    NT 学位論文

    RT 会議資料

       学術雑誌

       書法

       テクニカルライティング

    論理(ロンリ)

    PB01

    NT 演繹

       記号論理

       三値論理

       閾値論理

       時間論理

       述語論理

       ・ Horn節

       ・ 一階論理

       ・ 高階論理

       ・ 等式論理

       多数決論理

       多値論理

       ・ ファジィ論理

       二値論理

       非単調論理

       命題論理

       様相論理

    RT 逆理

       充足可能性問題

       推論

       単一化

       ファジィ集合

       命題

    論理演算(ロンリエンザン)

    PB01

    BT 演算

    RT Boole代数

       含意

       命題論理

    論理解析器(ロンリカイセキキ)

    EA11

    BT 回路試験器

       ・ 試験装置

       ・・ 装置

    論理回路(ロンリカイロ)

    EA11

    NT 組合せ回路

       ・ AND回路

       ・ NAND回路

       ・ NOR回路

       ・ NOT回路

       ・ OR回路

       ・ 排他的OR回路

       繰返し論理回路

       順序回路

    BT 回路

    論理学(ロンリガク)

    ID01

    BT 人文科学

       ・ 科学

    RT 理論

    論理型言語(ロンリガタゲンゴ)

    EG01

    UF GHC言語

    BT プログラミング言語

       ・ 形式言語

       ・・ 言語

    論理関数(ロンリカンスウ)

    PB01

    NT Boole関数

    BT 関数

       ・ 写像

    RT ハイパーキューブ方式

       命題

    論理合成(ロンリゴウセイ)

    EA11,EG01



  


    
 

    
HDL(hardware description language:ハードウェア記述言語)等の機能記述や目標とする回路性能(タイミング・面積等)を入力し、所望の論理回路を自動生成する

  



    BT 論理設計

       ・ 設計

    RT 回路設計

       ハードウェア記述言語

    論理シミュレーション(ロンリシミュレーション)

    EG01,IB01

    BT 計算機シミュレーション

       ・ 計算機利用

       ・・ 利用

       ・ シミュレーション

    論理設計(ロンリセッケイ)

    EA11,IA11,EG01

    NT 論理合成

    BT 設計

    論理素子(ロンリソシ)

    EA13

    BT 機能素子

    論理代数(ロンリダイスウ)

    PB01

    BT 束

       ・ 代数系

    RT Boole代数

    論理プログラミング(ロンリプログラミング)

    EG01

    NT 制約プログラミング

       制約論理プログラミング

    BT 計算機プログラミング