We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 1
INSTITUTE OF MATHEMATICS
College of Science University of the Philippines – Diliman
Topics No. of Hours
I. Course Introduction 1h II. Propositional Calculus A. Propositions and Logical Connectives B. Truth Tables C. Tautology, Contradiction and Contingency 4h D. Equivalent Statements E. Arguments and Valid Deductions III. Set Equality, Inclusion, Membership 2h IV. Predicate Calculus A. Truth Set and Universe of Discourse B. Universal and Existential Quantifiers 3h C. Valid Deductions V. Basic Proof Methods A. Proofs of Complex Propositions and Quantified Predicates
B. Epsilon-N Proofs of Convergence of Sequences 13 h
C. Principle of Mathematical Induction
VI. Algebra of Sets
A. Russell’s Paradox and Axiom of Separation 2h B. Set Operations and Related Proofs VII. Relations A. Domain, Range, Inverse and Composition B. Reflexive, Symmetric, Transitive, and Antisymmetric Relations C. Order Relations, Partial and Total Orders D. Hausdorff Maximality Principle 13 h F. Supremum and Infimum of Subsets of Real Numbers G. Equivalence Relations; Congruence Modulo m H. Equivalence Classes and Partitions VIII. Functions A. Restriction and Extension B. Injection, Surjection, and Bijection 5h C. Inverse and Composition of Functions D. Image and Inverse Image of a Set E. Properties of Images and Inverse Images of Union and 6h Intersection of Sets F. Permutations on Finite Sets IX. Finite and Infinite Sets A. Equivalence of Sets B. Cardinality of Finite Sets C. Formulas for the Cardinality of a Union, Intersection, and Power Set D. Infinite Sets and Aleph Null E. Countable and Uncountable Sets 12 h F. Partial Order (“Dominated by”) on Sets G. Schröder-Berstein Theorem and Cantor’s Theorem H. Continuum Hypothesis I. Countability of Rationals and Uncountability of Real Number J. Countability of the Union and Cartesian Product of Sets