Deakstadieđáhus: Lógica para informáticos