Table of Contents

Prolog
Preface
About the Authors
Chapter 1 Spatial Modeling in GIS
1．1 Real World Phenomena and their Abstractions
1．1．1 Spatial Data and Information
1．2 Concepts of Space and Time
1．2．1 Pre-Newtonian Concepts of Space and Time
1．2．2 Classical Concepts of Space and Time
1．2．3 Contemporary Concepts of Space and Time
1．2．4 Concepts of Space and Time in Spatial Information Systems
1．3 The Real-World and Its Models
1．3，1 Maps
1．3．2 Databases
1．3．3 Space and Time in Real-World Models
1．4 Real-World Models and Their Representation
1．4．1 Spatial Data Models
1．4，2 Spatiotemporal Data Models
1．5 Summary

Chapter 2 PropositionaI Logic
2．1 Assertion and Proposition
2．2 Logical Operators
2．3 Types of Propositional Forms
2．4 Applications in GIS
2．5 Exerases

Chapter 3 Predicate Logic
3．1 Predicates
3．2 Quantifiers
3．3 Quantifiers and Logical Operators
3．4 Compact Notation
3．5 Applications in GIS
3．6 Exerases

Chapter 4 Logical Inference
4．1 Logical Arguments
4．2 Proving Arguments Valid in Propositional Logic
4．2．1 Proving Arguments Valid with Truth Tables
4．2．2 Proving Arguments Valid with Rules of Inference
4．3 Proving Arguments Valid in Predicate Logic
4．4 Applications in GIS
4．5 Exerases

Chapter 5 Set Theory
5．1 Sets and Elements
5．2 Relations between Sets
5．3 Operations on Sets
5．4 Applications in GIS
5．5 Exerases

Chapter 6 Relations and Functions
6．1 Cartesian Product
6．2 Binary Relations
6．2．1 Relations and Predicates
6．2．2 Graphic Representation of Binary Relations
6．2．3 Speaal Properties of Relations
6．2．4 Composition of Relations
6．3 Functions
6．3．1 Composition of Functions
6．3．2 Classes of Functions
6．4 Applications in GIS
6．5 Exerases
……
Chapter 7 Coordinate Systems and Transformations
Chapter 8 Algebraic Structures
Chapter 9 Topology
Chapter 10 Ordered Sets
Chapter 11 Graph Theory
Chapter 12 Fuzzy Logic and GIS
Chapter 13 Probability Theory
Chapter 14 Statistical Discriminant Analysis

Sample Pages Preview