City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
1
Functions
Mrs D. Musiyandaka
1/20/2016
2
Mrs D. Musiyandaka
1/20/2016
Topics
Definition and Notation
Functions of two or more variables
Types of functions
Pigeonhole principle
Composition, Identity and Inverse of
functions
Application of functions
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
1
Logic
Donna Musiyandaka
2
Donna Musiyandaka
Topics
Introduction
Prepositional logic
Logical connectives
Conditional propositions
Truth tables
Logical reasoning
Predicates and Quantifiers
3
Donna Musiyandaka
Introduction
Logic first studied by Ar
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
Graphs and Trees
Donna Musiyandaka
Chinhoyi University of
Technology
2
Donna Musiyandaka,
CUIT102
Topics
Definitions of Graphs
Graph Terminology
Properties of graphs
Trails, Paths and Circuits
Trees
Graph Traversals
20 January
2016
3
Donna Musiyanda
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
1
Relations
Donna Musiyandaka (Mrs.)
Chinhoyi University of
Technology
2
Topics
Introduction
Definitions and Notation
Relations as ordered pairs
Relations as graphs
Properties of relations
Relations as matrices
Constructing relations
Relational Co
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
Proof
8/22/16
Mrs. D. Musiyandaka
1
Topics
Terminology
Types
of Proof
Direct proof
Indirect proof
Proof by contradiction
Proof by counterexample
Proof by mathematical induction
8/22/16
Mrs. D. Musiyandaka
2
Terminology
Mathematical
system consists of a
s
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
Sets
2
Donna Musiyandaka
Topics
Introduction
Notation
Sets of sets
Pictorial representation of sets
Operations on sets
Theory of sets
Ordered Pairs and Product sets
1/20/2016
3
Donna Musiyandaka
1/20/2016
Introduction
Set unordered collection of
s
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
C HI N HOYI UNI VE RSI TY O F TEC HN O LO GY
SC HO O L O F EN GI N EERI N G SCI EN C ES AN D TEC HNO LO GY
DE PA RT MEN T O F I C T AN D EL EC TRO N I C S
C U I T 1 0 2 C O M P U T E R M AT H E M AT I C S C O U R S E
OUTLINE
LECTURER
LECTURE TIMES
timetab
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
Assignment 2
CUIT102 Computer Mathematics
Submission Deadline:
Week 7 Thursday 21st April 2016, 12noon.
Submission To:
Office E5/E13/E14 clearly marked with your student
name and student ID number.
Total Marks:
89 marks
Topics Covered:
Sets, Relations, Fu
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
ICS 141: Discrete Mathematics I
6.1 The Basics of Counting
6.1 pg 396 # 1
There are 18 mathematics majors and 325 computer science majors at a college.
a) In how many ways can two representatives be picked so that one is a mathematics major and
the other
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
Restate the proposition/statement to be proved in the form for
all nb, P(n).
n
i=
Prove that for all n,
i=0
n ( n+1 )
2
n
Restated proposition: for all n 0,
i=
i=0
n ( n+1 )
2
BASIS STEP:
Establish the basic step where n =0, i.e. establish P(0) =
0(0+1)
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
Assignment 3
CUIT102 Computer Mathematics
Submission Deadline:
Week 11 Thursday 19th May 2016, 12noon.
Submission To:
Office E5/E13/E14 clearly marked with your student
name and student ID number.
Total Marks:
50 marks
Topics Covered:
Graphs & Trees, Coun
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
TEST 1 COMPUTER MATHEMATICS (cuit102) suggested solution
14th April 2016
1 hour and 15 minutes
50 marks
Logic, Proof Techniques, Sets, Relations
Show all working and/or give clear justification
Date:
Duration:
Total Marks:
Topics Covered:
Instructions to
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
Assignment 3
CUIT102 Computer Mathematics
Submission Deadline: Week 11 Thursday 19th May 2016, 12noon.
Submission To:
Office E5/E13/E14 clearly marked with your student name and student ID number.
Total Marks:
52 marks
Topics Covered:
Graphs & Trees, Coun
City University of Science and Information Technology, Peshawar
Computer Mathematics
C.M CUIT 201

Fall 2016
Assignment 1
CUIT102 Computer Mathematics
Submission Deadline:
Week 3 Thursday 24th March 2016, 12noon.
Submission To:
Office E5/E13/E14 clearly marked with your student
name and student ID number.
Total Marks:
66 marks
Topics Covered:
Logic, Proof Techni