 
Summary: INSTRUCTOR: Sultan Almuhammadi
OFFICE: 22320
PHONE: 8601625
EMAIL: muhamadi@ kfupm.edu.sa
COURSE SITE: http://www.ccse.kfupm.edu.sa/~sultanm/ICS253 (see also the webCT)
DESCRIPTION
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
COURSE OBJECTIVES
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
methods.
