If it's an introductory course in the math department, there should probably be a lot of computer science too; Turing machines, computability theorems, etc. in which case there will be a lot of logic and proof.