Students will get familiar with some of the modern methods used in the study of models of computation.