MAVAC-01 Basic Mathematics and Logic