George Mason University
George Mason University Mason
George Mason University

INFS 501: Discrete and Logical Structures for Information Systems

Instructor Information

Section Information

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.

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

Prerequisites:

6 credits of undergraduate mathematics

Instructor Information
Expertise