Deakstadieđáhus: Matemática discreta y lógica