Deakstadieđáhus: Lógica para ciencia de la computación