Logic, sets, functions, elementary number theory and combinatorics, recursive algorithms, and mathematical reasoning, including induction, with emphasis on connections to computer science.
Logic, sets, functions, elementary number theory and combinatorics, recursive algorithms, and mathematical reasoning, including induction, with emphasis on connections to computer science.