BCS503 Theory Computation/Notes SJBIT