Nghĩa của từ 语义 bằng Tiếng Việt
- {semanteme} , nghĩa vị
Đặt câu có từ "语义"
1. 不像只有一个标准语义的一阶逻辑,二阶逻辑有两个常用的不同语义:标准语义和Henkin语义。
2. 公理语义学的一个实例是霍尔逻辑。
3. 二阶逻辑的语义建立每个句子的意义。
4. 公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。
5. 带有Henkin语义的二阶逻辑不比一阶逻辑有更大表达能力。
6. 在现代的UNIX变种中,这遵循出自SunOS-4.0的虚拟内存模型,根据寫入時複製语义,物理内存不需要被实际复制。
Trong các biến thể UNIX hiện đại tuân theo mô hình bộ nhớ ảo của SunOS-4.0, sao chép khi ghi (copy-on-write) được thực hiện và bộ nhớ vật lý không cần phải được sao chép thực sự.
7. 这种非常严格的推理开始时可能难于理解,但是它形成了在形式逻辑中语法和语义之间非常核心的区别。
8. 小娜的自然语言处理能力来自Tellme Networks(英语:Tellme Networks)(该公司于2007年被微软收购),并与一个名为Satori的语义搜索数据库相结合。
9. 在展示了关于经费自筹方面研究的实证性结果后,本文通过强调商业化概念的语义(semantic)与伦理方面的相互关系而得出结论。
10. 语义网、本体论、知识工程和现代人工智能等在计算领域中近期创新性的进展为哲学提供了肥沃的想法以及新的、不断演变的主题,方法论和哲学探究模型。
11. (异常安全的最好的层次) 提交或卷回的语义(commit or rollback semantics),或称作强异常安全(strong exception safety)或无变化保证(no-change guarantee):运行可以是失败,但失败的运行保证不会有负效应,因此所有涉及的数据都保持代码运行前的初始值。
12. 在2018年10月28日的邮件列表讨论中,互联网工程任务组(IETF) HTTP和QUIC工作组主席Mark Nottingham(英语:Mark Nottingham)提出了将HTTP-over-QUIC更名为HTTP/3的正式请求,以“明确地将其标识为HTTP语义的另一个绑定......使人们理解它与QUIC的不同”,并在最终确定并发布草案后,将QUIC工作组继承到HTTP工作组。