Loading...
机构名称:
¥ 1.0

本课程向学生介绍了正式逻辑的基础。形式逻辑旨在用抽象的术语来代表人类思维的某些方面,使我们能够操纵抽象,符号结构并构建有效性证明。学生将学习分类,命题和谓词逻辑的基础。分类(或三段式)逻辑是对其组成句子表达某些阶级之间某些关系的参数的研究。命题(或布尔)逻辑是现代计算机系统的基础,正是对句子连接表达式的研究,以普通语言为类似和或不可以。最后,谓词(或一阶)逻辑是对依赖谓词和定量的参数的研究。学生将通过(a)通过严格定义的符号语言正式思考的能力来代表自然语言句子类别(b)通过数学模型评估每种语言的能力。

认知科学

认知科学PDF文件第1页

认知科学PDF文件第2页

认知科学PDF文件第3页

认知科学PDF文件第4页

认知科学PDF文件第5页