Scribd
Upload
87 views

Department of Computer Science, CUI Lahore Campus: CSC102 - Discrete Structures by Mahwish Waqas

This document outlines the syllabus for the CSC102 - Discrete Structures course taught by Ms. Mahwish Waqas. The course objectives are to develop an understanding of discrete structures, problem solving skills, and proof techniques. Topics covered include propositional logic, sets, functions, relations, proofs, counting, and graphs. Students are assessed based on assignments, quizzes, midterms, and a final exam. Logic is introduced as the study of valid arguments and general reasoning laws, and its applications include program verification, databases, and artificial intelligence.

Uploaded by

Subhan Shahzad
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
87 views

Department of Computer Science, CUI Lahore Campus: CSC102 - Discrete Structures by Mahwish Waqas

This document outlines the syllabus for the CSC102 - Discrete Structures course taught by Ms. Mahwish Waqas. The course objectives are to develop an understanding of discrete structures, problem solving skills, and proof techniques. Topics covered include propositional logic, sets, functions, relations, proofs, counting, and graphs. Students are assessed based on assignments, quizzes, midterms, and a final exam. Logic is introduced as the study of valid arguments and general reasoning laws, and its applications include program verification, databases, and artificial intelligence.

Uploaded by

Subhan Shahzad
Copyright
© © All Rights Reserved
We take content rights seriously. If you suspect this is your content, claim it here.
Available Formats
Download as PDF, TXT or read online on Scribd
You are on page 1/ 12

Department Of Computer Science, CUI

Lahore Campus
CSC102 - Discrete Structures
By
Mahwish Waqas
2/15/2021 CSC102 - Discrete Structures 2

Lecture Outline

• Introduction to Course
2/15/2021 CSC102 - Discrete Structures 3

Welcome in the Course

Instructor : Ms. Mahwish Waqas


Office : C - Block (Room # C-11-A)
Email : [email protected]
2/15/2021 CSC102 - Discrete Structures 4

Course Objectives

• Deep understanding of discrete structures used in


Computer Science
• Developing problem solving and analytical skills
• Ability to understand mathematical arguments and their
design
• Understanding of logic
• Proofing techniques
2/15/2021 CSC102 - Discrete Structures 5

Course Outline
• Propositional Logic
• Predicate Logic
• Set Theory
• Functions
• Relations
• Inference rules and Proof Techniques
• Sequences and Summations
• Induction and Recursion
• Counting Techniques
• Graphs
• Trees
2/15/2021 CSC102 - Discrete Structures 6

Text Books

• Discrete Mathematics and its Applications 7th Ed. by


Kenneth H. Rosen, McGraw Hill Publisher.

• Discrete Mathematics with Applications 4th Ed. by


Susanna S., Thomson Learning, Inc.
2/15/2021 CSC102 - Discrete Structures 7

Course Website

• Visit the following link:


https://sites.google.com/a/cuilahore.edu.pk/ds-spring2021/

• Course Handbook
• Deadlines & Important Information
• Course Material
• Assignments
• Quiz Solutions
2/15/2021 CSC102 - Discrete Structures 8

Course Assessment/Grading
Component Weightage
Sessional 1 10%
Sessional 2 15%
Terminal 50%
Quizzes 15%
Assignments 10%

• For all assignments, do follow the formatting guidelines given in


course handbook.
• Submit all assignments in hard copy.
• No credit for copied or late submissions.
• No relaxation for students found cheating in any quiz or exam.
• To get good grade you must attend all lectures and perform good in
all course assessments.
2/15/2021 CSC102 - Discrete Structures 9

Reasons to Study Discrete Structures

• Proof
Ability to understand and create mathematical
argument

• Gateway to more advanced CS courses


Data structures, algorithms, automata theory, formal
languages, Database, networks, operating system,
security etc.
2/15/2021 CSC102 - Discrete Structures 10

Reasons to Study Discrete Structures


• It is the mathematics underlying almost all of
computer science:
• Program verification
• Analyzing algorithms for correctness and efficiency
• Finding efficient algorithms
• (for sorting, searching, etc.)
• Formalizing security requirements
• Designing cryptographic protocols for enhanced
security
• Graph Theory (Networks – both physical & social)
2/15/2021 CSC102 - Discrete Structures 11

Logic

Logic is the study of the principles and methods that


distinguishes between a valid and an invalid argument.

Logic deals with general reasoning laws, which you can


trust.
2/15/2021 CSC102 - Discrete Structures 12

Applications

• Applied in proving program correctness and


verification
• Databases (Relational Algebra and calculus)
• Artificial Intelligence

You might also like