课程目录信息(-)

菲尔7 h
演绎逻辑——荣誉

---

课程描述

本课程是研究演绎逻辑的概念和方法,强调正式的证明技术在句子和谓词逻辑。江南娱乐贴吧官网学生在这门课将会完成额外的作业为了获得进一步精通正式的逻辑方法。

学生的学习成果

• 把英语句子翻译成的语言命题和谓词逻辑。
• 区分有效和无效的演绎论点。
• 完成多步演绎证明,采用原始证明命题和谓词逻辑规则。

查看活动轮廓

课程详细信息

单位

4个单位

小时

• 每周上课时间:4
• 每周实验时间:0

创艾德

通识教育课程

程序状态

程序适用

信贷

信贷度适用

可转移性

转移到加州大学和加州

分级方法

字母评分

必要的和咨询

咨询(ies)

1 EWRT EWRT 1啊或者EWRT 1和EWRT 1或英语5

限制登记和入口的技能

限制(s)登记

不向学生开放信贷non-江南娱乐贴吧官网Honors相关课程。

进入本课程需要同意荣誉项目协调人。