CIS 154 - Computational Structures

Credits: 3
Lecture Hours: 3
Lab Hours: 0
Practicum Hours: 0
Work Experience: 0
Course Type: Open

Students learn the math and logic fundamentals required in the information technology industry. Students solve practical problems in mathematics for information technology, building a solid foundation in the mathematical skills that are used in a number of areas, such as networking, systems administration, programming, database management and web programming. The course develops concepts in discrete mathematics as applied to computer science including logic, proof techniques, set theory, relations, graphs, discrete probability and number theory.
Competencies

Recognize how formal tools of symbolic logic are used to model algorithms and real life situations
1. Apply formal methods of symbolic propositional logic
2. Use formal logic proofs and logical reasoning to solve problems
Perform the operations associated with sets, functions and relations
1. Explain with examples the basic terminology of functions, relations and sets
2. Use equivalence relations in solving problems
Apply proof techniques to solve problems in computer science, including software engineering, program semantics, and algorithm analysis
1. Outline the basic structure of and give examples of each proof technique
2. Discuss which type of proof is best for a given problem
Solve problems using permutations and combinations
Demonstrate basic counting principles, including uses of diagonalization and the pigeonhole principle
Apply the tools of discrete probability theory to computer science algorithms
Solve problems using recurrence relations
Model problems in computer science using graphs and trees
1. Examine different traversal methods for trees and graphs
2. Relate graphs and tree to data structures, algorithms, and counting
Apply principals of Boolean Algebras to computer science algorithms and circuits