View Descriptor
Descriptor Details

Discrete Math

Not Identified

160


Not Identified

3.0

Not Identified

Uploaded: 10/12/2017 04:44:05 PM PDT
Fundamental topics for Computer Science, such as logic, proof techniques, sets, introduction to computer programming, basic counting rules, relations, functions and recursion, graphs and probability trees.
College Algebra for STEM (CID Math 151) or Precalculus (CID Math 155) or Precalculus and Trigonometry (sequence course)
 Formal logic including statements, symbolic representation, tautologies, propositional logic, quantifiers, predicates, and validity, predicate logic, and logic programming;
 Proofs, recursion, and analysis of algorithms including proof techniques, proof by induction, proof of correctness programming, recursive definitions, recurrence relations, and analysis of algorithms;
 Sets, combinatorics, probability, and number theory including counting, principle of inclusion and exclusion; Pigeonhole Principle, permutations and combinations, and Binomial Theorem;
 Relations, functions, and matrices including relations and databases, modular arithmetic;
 Graphs and trees including graphs and their representations, trees and their representations, decision trees, and Huffman Codes;
 Graph algorithms including directed graphs and binary relations; Warshall’s algorithm, Euler Path and Hamiltonian Circuit, shortest path and minimal spanning tree, traversal algorithms, and articulation points and computer networks;
 Boolean Algebra and computer logic including Boolean algebra structure, logic networks, and minimization; and
 Modeling arithmetic, computation, and languages including algebraic structures, finitestate machines, and formal languages.
Upon successful completion of the course, students will be able to:
 Use recursion to analyze algorithms and programs;
 Write proofs using symbolic logic and Boolean Algebra;
 Use sets to solve problems in combinatorics and probability theory;
 Apply matrices to analyze graphs and trees; and
 Use finite state machines to model computer operations.
Tests, examinations, homework or projects where students demonstrate their mastery of the learning objectives and their ability to devise, organize and present complete solutions to problems.
A college level textbook supporting the learning objectives of this course.

No

Not Identified

Not Identified

Not Identified

Not Identified

Not Identified
Delete Descriptor?
Are you sure you want to delete this descriptor?
Deleted descriptors cannot be restored.