Foothill CollegeApproved Course Outlines

Physical Sciences, Mathematics & Engineering Division | |||||

C S 18 | DISCRETE MATHEMATICS | Summer 2015 | |||

5 hours lecture. | 5 Units | ||||

Total Quarter Learning Hours: 60
(Total of All Lecture, Lecture/Lab, and Lab hours X 12) | |||||

Lecture Hours: 5 |
Lab Hours: | Lecture/Lab: | |||

Note: If Lab hours are specified, see item 10. Lab Content below. | |||||

Repeatability - | |||||

Statement: | Not Repeatable. | ||||

Status - | |||||

Course Status: Active | Grading: Letter Grade with P/NP option | ||||

Degree Status: Applicable | Credit Status: Credit | ||||

Degree or Certificate Requirement: AS Degree, Foothill GE | |||||

GE Status: Communication & Analytical Thinking | |||||

Articulation Office Information - | |||||

Transferability: Both | Validation: 2/3/2012; 11/14/12 | ||||

Cross Listed as: | MATH 22 | ||||

Related ID: | |||||

1. Description - | ||

Discrete mathematics: set theory, logic, Boolean algebra, methods of proof, mathematical induction, number theory, discrete probability, combinatorics, functions, relations, recursion, algorithm efficiencies, graphs, trees. | ||

Prerequisite: C S 1A or 1AH; satisfactory score on the mathematics placement test or MATH 49 or 48C. | ||

Co-requisite: None | ||

Advisory: Eligibility for one of the following: ENGL 1A, 1AH, 1S & 1T or ESLL 26.; not open to students with credit in CIS 18 or MATH 22. | ||

2. Course Objectives - | ||

The student will be able to: - Use formal logic in constructing valid arguments.
- Write proofs formally, including writing proofs using symbolic logic and Boolean Algebra.
- Use number theory to solve to solve problems.
- Understand the basics of set theory, including solving problems in combinatorics and probability theory.
- Prove combination and permutation principles and use them to solve problems.
- Understand the definition of functions.
- Use recursive thinking and method to solve recurrence relations, including using recursion to analyze algorithms and programs.
- Analyze and write algorithms.
- Identify relations and their properties.
- Draw and analyze graphs and trees, including applying matrices to analyze graphs and trees
- Solve Application problems from Computer Science, including using finite state machines to model computer operations.
- Discuss mathematical problems and write solutions in accurate mathematical language and notation.
- Interpret mathematical solutions.
| ||

3. Special Facilities and/or Equipment - | ||

- Scientific calculator
- When taught hybrid: Four lecture hours per week in face-to-face contact and one hour per week using CCC Confer. Students need internet access.
| ||

4. Course Content (Body of knowledge) - | ||

- Logic
- Logical Forms and Equivalences
- Conditional Statements
- Valid and Invalid Arguments
- Predicates and Quantified Statements
- Boolean Algebra
- Application: Digital Logic Circuits
- Methods of Proof/Proof Techniques
- Direct Proof
- Proof by Counterexample
- Proof by Division into Cases
- Proof by Contradiction and Contraposition
- Proof by Induction
- Strong Mathematical Induction and Well-Ordering
- Number Theory
- Properties of Prime and Rational Numbers
- Unique Factorization Theorem
- Quotient-Remainder Theorem
- Modular Arithmetic
- Floor and Ceiling Notation
- Applications of Number Theory to Problem Solving
- Principal of inclusion and exclusion
- Set Theory
- Notation
- Operations on Sets
- Cartesian Products
- Proving Set Identities
- Counting and Probability
- Events and Sample Space
- Possibility Trees and Multiplication Rule
- Addition Rule
- Pigeonhole Principle
- Combinations and Permutations
- Pascal's Formula
- Binomial Theorem
- Discrete Probability Axioms
- Expected Value
- Conditional Probability, Baye's Formula
- Integer Random variables
- Expectations
- Law of large numbers
- Functions
- One-to-One, Onto, Inverses
- Compositions
- Well Defined Functions
- Recursion
- Recursively Defined Sequences
- Fibonacci numbers
- Solving Recurrence Relations by Iteration
- Solving Recurrence Relations using Logarithm
- Verifying Solutions by Mathematical Induction
- Efficiency of Algorithms
- Big-O, Big-Theta, and Big-Omega Notation
- Exponential and Logarithmic Orders
- Computing Orders of Algorithms
- Analysis of Various Sort and Search Algorithms
- Relations
- Binary Relations, N-ary relations
- Directed Graphs
- Inverse Relations
- Reflexivity, Symmetry, and Transitivity
- Equivalence Relations and Classes
- Graphs and Trees
- Definitions and Properties
- Paths and Circuits
- Euler Path
- Hamiltonian Circuit
- shortest path and minimal spanning tree
- Matrix Representation of Graphs
- Isomorphisms of Graphs
- Spanning Trees
- Traversal Problems
- Decision trees
- Huffman Codes
- Warshall's algorithm
- Solve Application problems from Computer Science
- The application of mathematical induction to recursive computer algorithms
- The use of sequences in loop structures
- The application of computer logic
- AND-, OR- and NOT-GATES
- Boolean algebra structure
- logic networks
- minimization
- Breaking down problems or functions into components, sub-problems or sub-functions
- The use of time-complexity to determine Big-O growth rate of various algorithms
- Articulation points (cut vertices) and computer networks
- Modeling arithmetic, computation, and languages including algebraic structures, finite-state machines and formal logic
- Discuss mathematical problems and write solutions in accurate mathematical language and notation.
- Application problems from other disciplines
- Proper notation
- Interpret mathematical solutions.
- Explain the significance of solutions to application problems.
| ||

5. Repeatability - Moved to header area. | ||

6. Methods of Evaluation - | ||

- Written homework
- Quizzes, tests
- Proctored comprehensive final examination
| ||

7. Representative Text(s) - | ||

Susanna S. Epp, Discrete Mathematics with Applications, 4th ed., Brooks/Cole, 2010. | ||

8. Disciplines - | ||

Mathematics | ||

9. Method of Instruction - | ||

Lecture, Discussion, Cooperative learning exercises. | ||

10. Lab Content - | ||

Not applicable. | ||

11. Honors Description - No longer used. Integrated into main description section. | ||

12. Types and/or Examples of Required Reading, Writing and Outside of Class Assignments - | ||

- Homework Problems: Homework problems covering subject matter from text and related material ranging from 30 - 60 problems per week. Students will need to employ critical thinking in order to complete assignments
- Lecture: Five hours per week of lecture covering subject matter from text and related material. Reading and study of the textbook, related materials and notes
- Projects: Student projects covering subject matter from textbook and related materials. Projects will require students to discuss mathematical problems,write solutions in accurate mathematical language and notation and interpret mathematical solutions. Projects may require the use of a computer algebra system such as Mathematica or MATLAB
- Worksheets: Problems and activities covering the subject matter
| ||

13. Need/Justification - | ||

This course is a required core course for the AS degrees in Mathematics and Computer Science. |

Course status: | Active | |

Last updated: | 2015-06-25 08:04:20 |

Foothill CollegeApproved Course Outlines

Schedule & Course Information

Class Schedule

Currently Available Classes

Course Catalog

Course Outline of Record

Green Sheets

Online Classes

Dates & Deadlines

Final Exam Schedule

Currently Available Classes

Course Catalog

Course Outline of Record

Green Sheets

Online Classes

Dates & Deadlines

Final Exam Schedule

Learning Outcomes Initiatives

Student Learning Outcomes

Service Area Outcomes

Administrative Area Outcomes

Program Learning Outcomes

Institutional Learning Outcomes

Service Area Outcomes

Administrative Area Outcomes

Program Learning Outcomes

Institutional Learning Outcomes

Academics