UNIVERSITI TEKNOLOGI MARA

DISCRETE STRUCTURES (CSC510)

Sem OCT 2022 – FEB 2023

Week Topic Lecture Description

PROPOSITIONAL LOGIC
1
● Introduction to subject

10/10 – 14/10
● Propositional Logic
Lecture 1 Student profile
● OBE –SLT & SOW, Evaluation
● Discuss programming assignment
(group of 2-3)

2-3 LOGICAL EQUIVALENCE AND SOUNDNESS

● Logical equivalence and equality
Lecture 2
17/10 – 28/10 ● Conjunctive and Disjunctive normal forms Quiz 1
Lecture 3
● Proving validity of logical expressions using truth tables and inferencing
rules

4 PREDICATE LOGIC
● Interpretation Lecture 4
31/10 – 4/11 ● Validity

RULES OF INFERENCE
5
● Formal proofs Lecture 5

7/11 - 11/11 ● Applying the rules

METHODS OF PROOF
6
● Theorem and rules

14/11 – 18/11
● Direct proof supp notes: proof
Quiz 2
● Indirect proof template
● Proof by contradiction
● Proof by cases

21/11 – 27/11
MID -TERM BREAK

7 Group Assignment
TEST 1
Test 1 (2/12/2022 8-9pm)
28/11 – 2/12

8 SET, RELATIONS AND FUNCTION

● Set terminologies
Lecture 6
5/12 – 9/12
● Venn diagrams and set operations
● Set Laws/identities

9
SET, RELATIONS AND FUNCTION Relations and Functions

12/12 – 16/12
● Properties and types of relations
Lecture 7
● Functions
● Properties of functions

10 LANGUAGE AND GRAMMAR

● Formal language
19/12 – 23/12 ● Types of grammars Lecture 8 Quiz 3
● Specification of grammar
● Derivation of a grammar
 25/12 – 1/1

SPECIAL BREAK

LANGUAGE AND GRAMMAR

11-12
● Deterministic Finite State Automata (DFSA)
Lecture 9
2/1 – 13/1
● DFSA without output
● DFSA with output

13 PROGRAM CORRECTNESS
● Program testing
16/1 – 20/1 ● Program correctness Lecture 10 Quiz 4
● Hoare-Triple Notation
● Assignment statements

PROGRAM CORRECTNESS
14
● Program correctness proof using axiomatic semantics

23/1 – 27/1
● Selection Statements Supp notes TEST 2
● Loop statements
Test 2 (27/1/2023 8-9pm)

30/1 – 5/2 STUDY WEEK

15
FINAL ASSESSMENT
6/2 – 21/2

ASSESSMENT
Tests (2 x 10%) : 20%
Assignment : 10%
Quizzes (4 x 5%) : 20%
Final Examination : 50%
Passing grade is C (50%)