2011 - 2012 General Catalogue 
    
    Apr 25, 2024  
2011 - 2012 General Catalogue [ARCHIVED CATALOG]

MH 493 . Logic and Set Theory (3)


Provides a rigorous foundation in logic and elementary discrete mathematics to students of mathematics and computer science. Topics from logic include modeling English propositions, propositional calculus, quantification, and elementary predicate calculus. Additional mathematical topics include elements of set theory, mathematical induction, relations and functions, and elements of number theory. Prerequisites: MH 300 .