MA-230 Discrete Mathematics 4 - 0 - 4


Description

This course provides an introduction to several topics fundamental to computer science. Topics discussed will include set algebra, logic, relations and functions, recursion, combinatorics, graph theory, Boolean algebra, methods of proof, and finite state machines.

Prerequisites

Materials

Required:
  • Mathematical Structures for Computer Science, 6th ed. Gersting, Judith, W. H. Freeman Press, 2007

Program Outcomes Containing MA 230

Click to see all the program tracks

Course Learning Outcomes

Upon successful completion of this course, the student will:
  • be familiar with the terminology, operations, and symbols of set theory, and with formal logic.
  • be able to use logic to determine the validity of a formal argument.
  • be able to construct the proof of a theorem directly, by contrapositive, by cases, by contradiction, by truth table, by counter-example, and by mathematical induction.
  • be able to identify the number of ways an event can occur.
  • Be able to identify a relation; specifically, a partial order, equivalence relation, or total order.
  • Be able to identify a function; specifically, surjective, injective, and bijective functions.
  • Be able to perform operations on matrices.
  • Be familiar with the terminology for graphs and trees.
  • Be able to trace Euler and Hamiltonian paths.
  • Be able to construct minimal spanning trees and adjacency matrices for graphs.
  • Have begun to develop a logical mode of thought that will be applicable to computer design, both hardware and software.

Course Topics

  • Logic. (4 classes)
  • Methods of Proof. (4 classes)
  • Set Theory. (4 classes)
  • Recursion. (2 classes)
  • Combinatorics. (2 classes)
  • Relations. (3 classes)
  • Functions. (3 classes)
  • Graphs and Trees. (9 classes)
  • Boolean Algebra. (1 class)
  • Finite State Machines. (1 class)
  • Reviews and Exams. (7 classes)

Prerequisites by topic

  • Basic concepts of college algebra.
  • Basic concepts of set theory.
  • Basic concepts of matrices.

    Laboratory topics

    No Laboratory Topics have been appended

    Course topics by day

    Lecture/Lab topics

    ACCE content

    General Education Math & Science Business & Mgmt. ConstructionConstruction Science
    04000

    View Specific Requirements

    ABET/EAC content

    Engineering topics Design General education Math/ScienceOther
    0No 040

    ABET/TAC content

    Communications Math & Science HU/SS Tech ContentOther
    00000

    Coordinator

    Nancy Olmsted

    Last review

    Karl David, Department Chair - Associate Professor
    on Jan 16, 2009

    Last update

    Nancy Olmsted, Instructor
    on Jan 16, 2009