ประโยคภาษาจีน : 中文句子 |
---|
běn wén 本文 zhǔ yào 主要 jiè shào 介绍 shù lǐ luó jí 数理逻辑 de 的 jī běn zhī shí 基本知识 yǐ jí 以及 shù lǐ luó jí 数理逻辑 zài 在 jì suàn jī kē xué 计算机科学 zhōng 中 yóu qí 尤其 shì zài 是在 shù jù kù 数据库 hé 和 rén gōng zhì néng 人工智能 zhòng dì 中的 yìng yòng 应用 |
This paper introduces the basic knowledge of mathematical logic, and the application of mathematical logic in computer science, in particular, in artificial intelligence(AI) and database(DB). |