Btech discrete maths| MFCS |unit -1 mathematics logic|Mathematical foundation of computer science