George Mason University
George Mason University Mason
George Mason University

INFS 501: Discrete and Logical Structures for Information Systems

Course Information from University Catalog

Not Repeatable

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.

Hours of Lecture or Seminar per week: 3

Credit cannot be applied to a graduate degree in the Volgenau School or the BS degree in computer science.

Credits: 3


6 credits of undergraduate mathematics

1 Course Sections Scheduled for Fall 2017

1 Course Sections Scheduled for Fall 2018