MATH3306 集合论与数理逻辑 · Set Theory & Mathematical Logic

MATH3306 是昆士兰大学(University of Queensland,UQ)的一门课,开设在Faculty of Science,属于 Mathematics 领域。这一页汇总它的课程目录信息和昆大学生留下的评价。

课程信息

中文课名:集合论与数理逻辑

课程类型:undergraduate

学分:2

课程领域:Mathematics

所属学院:Faculty of Science

层级:Undergraduate Level 3

目录年份:2026

课程简介

The course will introduce students to aspects of set theory, model theory, formal logic and computability. Topics will include propositional and predicate calculus, the Zermelo-Fraenkel Axioms, ordinals and cardinals, recursive functions, Turing machines, and Godel's incompleteness theorems.

学生评价、难度与工作量

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

同领域课程

相关页面

官方页面

独立学生社区,与昆士兰大学官方无隶属关系。