Seol mar théacs é seo: Logika Matematika untuk ilmu komputer