An introduction to the suite of mathematical and logical tools used in the cognitive and information sciences, including finite mathematics, autotmata and computability theory, elementary probability, and statistics together with short introductions to formal semantics and dynamical systems.