Mathematics for Computer Science Course Material

II/1/3/2 Mathematics for Computer Science Course Material

Teaching material for an introductory course on Mathematics for Computer Science has been prepared by Yumbayar Namsrai of the Technical University of Mongolia, Ulaanbaatar, Mongolia. This course comprises 9 sections: propositional logic; predicate logic; set theory; mappings; functions; relations; recursion; induction; and modal logic.

Sets of teacher's notes and OHP foils are available for the whole course, and the OHP foils are also available individually for each of the separate sections of the course:

• propositional logic

• predicate logic

• set theory

• mappings

• functions

• relations

• recursion

• induction

• modal logic

Mathematics for Computer Science Course Material