Semi-classical Analysis Notes