Lectures on Discrete Time Filtering