Sem/BCS503 Theory Computation