解释（逻辑）-一流百科

解释（逻辑）

解释（逻辑）解释是对一种形式语言的符号的意义分配。许多在数学、逻辑学和理论计算机科学中使用的形式语言完全是用句法术语来定义的，因此在它们被赋予某种...