This course introduces the formal models of computing and their relation to formal languages.