Logika v računalništvu