摘要： 阅读全文

摘要： 阅读全文

摘要： 阅读全文

摘要： 阅读全文

摘要： 阅读全文

摘要： 谓词逻辑发展的历史进程相关人物有：康托尔，波尔查诺，哥德尔，皮亚诺。第一个完整的谓词逻辑系统是G.弗雷格在1879年建立的。K.哥德尔等人系统地研究了谓词逻辑的元逻辑问题，证明了重要的定理。谓词，在谓词逻辑中，原子命题分解成个体词和谓词。个体词是可以独立存在的事或物，包括现实物、精神物和精神事三种。 阅读全文

摘要： 阅读全文

摘要： 自我介绍：本人是一个大一新生，很陌生的第一次这个专业—软件技术，也有一种好奇心想去探索，大一上学期的时候。接触关于软件的课程并不多，而且还不用太多的思考，但是到下学期就接触到了Java程序设计，当打开这本书那时候看的一塌糊涂，完全看不懂 ，本来英语基础就差，然后看不懂那个代码和敲代码，但是我相信这是 阅读全文