Discrete Structures

This course introduces the elements of discrete mathematics systems pertinent to the field of computer science, i.e., from the formulation of problems, to the understanding of their underlying structure, to the comparative analysis of the complexity of algorithms that can be used to solve these problems. Through computer programming examples, exercises and case studies, the following mathematical concepts are applied to computer science: sets and binary relations, functions, first-order logic, proof techniques, algebraic systems, vectors and matrices, and finite state machines, applications of graph theory to computer science and combinational computing are also introduced.

019633