闪播福利库

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