Discrete and Logical Structures for Information Systems. 3 credits

Catalog description

Study of discrete and logical structures for information systems analysis and design including basic set theory and proof techniques, propositional and predicate logic, trees and graphs, finite state machines, formal languages and their relation to automata, computability and computational complexity, formal semantics-operational, axiomatic and denotational approaches. Notes: Credit cannot be applied to a graduate degree in the Volgenau School or the BS degree in computer science. Offered by Info Sciences & Technology . May not be repeated for credit.