Lectures on non-standard analysis