Similar to 正論理
モデル理論
Model theory
有限演算
Finitary有限モデル理論
Finite model theoryラムダ計算
Lambda calculus
レーブの定理
Löb's theorem連言標準形
Conjunctive normal form
ロッサーのからくり
Rosser's trick
論理式 (数学)
Logical formula
論理プログラミング
Logic programming
制御工学
Control engineering
6DoF
Six degrees of freedom
BACnet
BACnet
ECU-TEST
Ecu.test
EPICS
EPICS
IEC 61131-3
IEC 61131-3
KNX
KNX
UART
Universal asynchronous receiver-transmitter
ウォッチドッグタイマー
Watchdog timer
運転曲線
駅集中管理システム
遠隔監視制御システム
Remote monitoring and control
遠隔操作
Telecommand遠隔操作車両
Remote-control vehicle
オーディオアニマトロニクス
Audio-Animatronics
オペレーショナルテクノロジー
Operational technology
オルラン10
STC Orlan-10
音響誘導
Acoustic homing
音叉式力センサ