闪播福利库

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 惭础罢贬听52603. Prerequisite: 惭础罢贬听26103, 惭础罢贬听28003, or 笔贬滨尝听22003. (Typically offered: Fall)
This course is cross-listed with 笔贬滨尝听52503.