Syllabus:
Set Theory, Relations, Functions, Graph Theory, Planer Graph and Trees, Direct graphs and Binary Trees, Algebraic Systems, Ordered sets and lattices, Propositional Calculus, Boolean Algebra, Lattices, group theory, cyclic groups, permutation groups, symmetry groups, quotient,
homomorphism, Basic structure theory, Prepositional and Predicate logic, Mathematical reasoning and program techniques. Theories with induction. Counting and countability. Graph and trees. Morphisms, Algebraic structures.
Course Objectives:
The main objectives of the course are to:
1. Introduce concepts of mathematical logic for analyzing propositions and proving theorems.
2. Use sets for solving applied problems, and use the properties of set operations algebraically.
3. Work with relations and investigate their properties.
4. Investigate functions as relations and their properties.
5. Introduce basic concepts of graphs, digraphs and trees.
Learning Outcomes:
1. Analyze logical propositions via truth tables.
2. Prove mathematical theorems using mathematical induction.
3. Understand sets and perform operations and algebra on sets.
4. Determine properties of relations, identify equivalence and partial order relations, sketch relations.
5. Identify functions and determine their properties.
6. Define graphs, digraphs and trees, and identify their main properties.
7. Evaluate combinations and permutations on sets.