David Kirsch’s Profile Student Toggle navigation

This course in­tro­duces the foun­da­tions of dis­crete math­e­mat­ics as they apply to com­puter sci­ence, fo­cus­ing on pro­vid­ing a solid the­o­ret­i­cal foun­da­tion for fur­ther work. Top­ics in­clude func­tions, re­la­tions, sets, sim­ple proof tech­niques, Boolean al­ge­bra, propo­si­tional logic, el­e­men­tary num­ber the­ory, writ­ing, an­a­lyz­ing and test­ing al­go­rithms.

This course introduces the foundations of discrete mathematics as they apply to computer science, focusing on providing a solid theoretical foundation for further work. Topics include functions, relations, sets, simple proof techniques, Boolean algebra, propositional logic, elementary number theory, writing, analyzing and testing algorithms.