main navigation
my pace

CS 199V Topic: Formal Discrete Structures

Prerequisite: MAT 130 or equivalent.

Course Description: Students study a number of topics in discrete mathematics. One of the topics is an initial discussion of formal methods, a logical approach to writing computer programs. Students also study an introduction to mathematical logic (propositional and predicate calculus), mathematical induction, theory of sets, theory of integers and sequences, along with some introduction to graph theory. Mathematical logic is treated as an integral part of each topic of the course. A semiautomatic theorem prover is used to assist students in proving theorems.

Credits

4 credits

Prerequisite

MAT 130 Min Grade D