闪播福利库

Rigorous analyses of the concepts of proof, consistency, equivalence, validity, implication, and truth. Full coverage of truth-functional logic and quantification theory (predicate calculus). Discussion of the nature and limits of mechanical procedures (algorithms) for proving theorems in logic and mathematics. Informal accounts of the basic facts about infinite sets. Graduate degree credit will not be given for both 笔贬滨尝听42503 and 笔贬滨尝听52503. Prerequisite: 笔贬滨尝听22003 or 惭础罢贬听26103. (Typically offered: Fall)
This course is cross-listed with 惭础罢贬听52603.