Scribd
Upload
39 views

CS114-Discrete Structures - Course Syllabus

The course will be taught by Dr. Yassine Daadaa and covers topics like logic, sets, functions, relations, and proofs. Students will take 4 quizzes, one midterm exam, and a final exam which make up the grading. The topics include propositional and predicate logic, sets, functions, relations, and proof techniques. Students are expected to attend lectures and participate through discussions while maintaining academic honesty.

Uploaded by

نـواف العتيبي
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
39 views

CS114-Discrete Structures - Course Syllabus

The course will be taught by Dr. Yassine Daadaa and covers topics like logic, sets, functions, relations, and proofs. Students will take 4 quizzes, one midterm exam, and a final exam which make up the grading. The topics include propositional and predicate logic, sets, functions, relations, and proof techniques. Students are expected to attend lectures and participate through discussions while maintaining academic honesty.

Uploaded by

نـواف العتيبي
Copyright
© © All Rights Reserved
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 3

Al Imam Mohammad Ibn Saud Islamic University

College of Computer and Information Sciences


Computer Science Department

Course Syllabus
CS114 – Discrete Structures
Term2 2022/2023

Course Information

Credit Hours 3 credit hours


Instructor Name Dr. Yassine Daadaa
Email [email protected]

Office O.H Monday 12:00PM -01:20PM, Tuesday 12:00PM-1:20PM


Office No. and Wednesday 01:20PM-2:30PM
2090

Required Discrete Mathematics and Its Applications, Kenneth H.


Textbook
Rosen, 7th edition, McGraw Hill, 2012.

Digital Design With An Introduction To The Verilog HDL , M.


Morris Mano & Michael D. Ciletti, 5th edition, Pearson, 2013

Reference Discrete Mathematics with Applications, Susanna S. Epp,


4th edition, DePaul University, 2011.

Prerequisites No prerequisites

Classroom

Page 1 of 3

Imam University | CCIS | Vice Deanery of Development and Quality


Doc. No. 003-01-20140506
Course goals and objectives
This course will introduce the student to a body of mathematical concepts essential for the
mastery of some of the higher‐level computer science courses. The main objective of this
course is to develop an understanding of propositional and predicate logics, numerical data
representation, sets functions and relations, and be able to write clear, correct proofs.

Course learning outcomes


• Describe the propositional and predicate logics
• Describe the different numbering systems in computer science
• Define the following concepts: sets, functions and relations and their properties
• Write clear, correct proofs using the presented proofs techniques

Listing of Topics to be Covered

1. Logic Theory: Propositional Logic–Negation, Conjunction, Disjunction, Implication,


Bi-conditional, Converse, Contraposition, Inverse, Logic and Bit Operations,
Propositional Equivalence, Predicates and Quantifiers, Quantification of Two Variables,
Order of Quantifiers Nested Quantifiers, Rules of Inference

2. Fundamental Structures: Set, Subset, Cartesian Product, Power sets, Venn Diagram,
Union, Intersection, Complement, Difference, Cardinality, Functions – Injection,
Surjection, Bijection, Inverses, Relations on a set, Reflexivity, Symmetric, Transitivity,
Equivalence, partial ordering.

3. Proof Techniques: Structure of formal proofs, Direct proofs, Proof by counterexample,


Proof by contraposition, Proof by contradiction, Mathematical induction (Strong and
Weak), and Recursive definitions.

4. Machine Level Representation of Data: Bit, Bytes, and words, numeric data
representation, numbering systems, Fixed- and Floating-point system, Signed and
unsigned numbers, 1’s and 2’s complements, Arithmetic Operations (Addition and
Subtraction)

Page 2 of 3

Imam University | CCIS | Vice Deanery of Development and Quality


Doc. No. 003-01-20140506
Grading scheme

Assessment Assessment Task Week Due (Tentative) Proportion

1 Quizzes (4) 4th , 5th, 7th , 9th , 11th 30 (6* 5 marks)

3 Exam 1 8th 30

5 Final Exam Final Exam Schedule by the 40 40


Registrar

Quiz 1: 21/12/2022 (online)


Quiz 2: 4/1/2023 (online)
Quiz 3: 12/1/2023 (online)
Midterm Exam: 24/1/2023 (12:30 PM – 1:30 PM)
Quiz 4: 1/2/2023 (In Class)
Quiz 5: 15/2/2023 (online)

Classroom Participation
You are expected to participate in the class discussion by answering questions by asking
questions, raising issues, and making observations. No comment is considered bad as long as
it makes a constructive class contribution. The instructor believes that a good learning
environment is a safe environment - one in which all feels free to question and discuss.

Academic Honesty
Each student is expected to do his/her own work on all of the course material and assignments.
Study groups are welcomed and encouraged. Any kind of plagiarism and cheating is strictly
prohibited; each student involved will be subject to the University Dishonesty Policy.

Attendance
Students are expected to attend all lectures. If the unjustified absence rate exceeds 20 %, the
student will be denied the right to take the final exam and he/she will receive a DN grade for
the course.

Page 3 of 3

Imam University | CCIS | Vice Deanery of Development and Quality


Doc. No. 003-01-20140506

You might also like