Logika u računarskoj nauci