语义定理
_
семантическая теорема
примеры:
语句函数的定义语句
statement function definition statement
пословный:
语义 | 定理 | ||
семантика; смысловой, семантический
|
1) незыблемая истина, непреложный закон, аксиома
2) мат. теорема
3) определённое правило
|
похожие:
语义理论
语义定义
语义理据
公理语义
公理定义
语义处理
定义语言
定义理想
语言定义
语义鉴定
广义定理
语法定义
定理定义
语词定义
定义语句
语义场理论
公理化定义
表处理语义
理解语义学
一义性定理
语义理据性
无定义术语
公理语义学
转换定义语言
先前定义语句
过程定义语言
过程定义语句
语义错误处理
资料定义语言
形式语义定义
日本语义处理
功能定义语言
形式语言定义
公理化语义学
指令定义语言
通用语言定义
等价定义语句
命令定义语言
程序定义语言
语义信息处理
作业定义语句
无定义的术语
网络定义语言
定义文件语句
功能定义语句
格式定义语言
事件定义语言
问题定义语言
语义判定问题
过程定义语法
定义常数语句
变换定义语言
函数定义语句
语句函数定义
确定性语义学
活动定义语句
资源定义语句
函数定义语法
要求定义语言
数据定义语言
术语的定义性
非确定语义学
数据定义语句
存储定义语句
语言表示定理
广义均值定理
广义等晕定理
可定义性定理
广义中值定理
物理文件定义
广义平面定理
实现性定义语用
语义行定位程序
宏定义标题语句
数据库定义语言
问题定义用语言
未定义语句标号
处理机定义函数
宏定义尾部语句
非确定性语义学
宏定义结束语句
维也纳定义语言
公理语义学方法
公理化语义 学
微处理机语义学
存储数据定义语言
美国出口用语定义
程序设计语言定义
概念模式定义语言
过程定义控制语句
语句函数定义语句
概念数据定义语言
概率的公理化定义
过程定义处理程序
广义伯恩赛德定理
数据和结构定义语言
推广定理, 广义定理
可靠性基本术语和定义
语义中的认知–定位方法