Summary: INSTRUCTOR: Sultan Almuhammadi
E-MAIL: muhamadi@ kfupm.edu.sa
COURSE SITE: http://www.ccse.kfupm.edu.sa/~sultanm/ICS253 (see also the webCT)
The course covers various topics in discrete mathematics that are widely used in Computer
Science. Discrete mathematics deals with (finite or infinite) objects that are disconnected like
books, tables, integers, graphs, and trees. The course is divided into three main areas: logic
and mathematical reasoning, counting and combinatorial techniques, and graphs and trees.
PREREQUISITES ICS 102
1. To develop mathematical and thinking skills necessary for reading, comprehending,
and constructing mathematical arguments.
2. To learn the fundamental concepts and techniques of discrete mathematics needed for
problem solving in computer science.
COURSE LEARNING OUTCOMES
After completion of this course, the student should be able to:
1. formulate and derive propositional/predicate logic expressions, and apply proving