TTIC 31150 1 (Autumn 2017) Mathematical Toolkit