PHIL3610 逻辑与计算 · Logic and Computation

PHIL3610 是悉尼大学(University of Sydney,USYD)的一门课,开设在Faculty of Arts and Social Sciences,属于 Philosophy 领域。这一页汇总它的课程目录信息和悉大学生留下的评价。

课程信息

中文课名:逻辑与计算

课程类型:Undergraduate

学分:6

课程领域:Philosophy

所属学院:Faculty of Arts and Social Sciences

层级:Undergraduate Level 3

目录年份:2026

课程简介

This unit covers central topics and results concerning the nature of logic, the nature of computation, and the relationships between the two, such as Turing machines, computability and uncomputability, the undecidability of first order logic, computational complexity, and Godel's incompleteness theorems.

学生评价、难度与工作量

还没有悉大学生给 PHIL3610 写过评价。有人写了之后,这里会显示实用性、难度(difficulty)、推荐度和具体的课程体验——在那之前它是空的,不会用生成内容填满。

同领域课程

相关页面

官方页面

独立学生社区,与悉尼大学官方无隶属关系。