SIE 505 - Formal Foundations of Geographic Information Science

Increases student’s understanding of the approach to geographic information systems and science by formalisms. Draws on mathematics to increase familiarity with formal syntax and language, develops understanding and technical ability in handling classical and discrete geometric and topological structures relevant to spatial reasoning. Includes a review of fundamental material on set theory, functions and relations, and logic (propositional and predicate calculi); examines variety of algebraic structures, geometries, and topologies for spatial theories.

Prerequisites & Notes
SIE 550 or permission of instructor.

Credits: 3