This course emphasizes mathematical systems, reasoning, and mathematical structures. Content includes sets, symbolic logic, historical numeration systems, number systems in other bases with their algorithms and groups.