Pātuhitia tēnei: Matemática discreta y lógica