This course is replaced by IN3070 – Logic.