Discrete Mathematics I. (3-0) 3 Credit Hours

Catalog description

Prerequisite: MAT 1313 , or CS 2233 , or instructor consent. Topics may include (1) Propositional logic: Axioms and Rules of Inference. (2) Limitations of propositional logic: Informal introduction to quantifiers and syllogisms. (3) Predicate Logic: Existential and universal quantification, free variables, and substitutions. (4) Sets and Boolean algebras: Operations on sets. Correspondences among finitary set operations, propositional logic, and quantifiers. (5) Relations, ordered sets, and bounds. (6) Functions, operations, and inverses. (7) Well-ordering relations, induction, and choice functions. (8) Computability, classical and contemporary computational models, and limitations of computation. (Same as MAT 3003 . Credit can not be earned for both MAT 3003 and MAT 5412.) This course has Differential Tuition. Course Fee: GS01 $90.