一阶理论是指建立在一阶逻辑基础上的理论。一个一阶理论是这样一个形式系统:(1)语言是一阶语言:(2)公理包含逻辑公理与非逻辑公理。(3)规则是谓词演算的变形规则。逻辑公理是由所选择的语言决定的,它独立于非逻辑公理。
小站 ... 一级告警 Level 1Alarming 一阶理论 First Order Theory 一拖二键盘转接线 One-to-two Keyboard Switcher ...
基于346个网页-相关网页
剥削与阶级的一般理论 A General Theory of Exploitation and Class
一阶剪切变形理论 FSDT ; First-Order Shear Deformation Theory
一阶微扰理论 first order perturbation theory
加权一阶局域理论 weighted first-order local area theory
应用推荐