Introduction to Non-Standard Computation