Scribd
Upload
66 views3 pages

2024 Mar CSC510 Scheme of Work

The document outlines a scheme of work for a course on formal representation and logic. It includes 3 learning outcomes, a schedule organized into blocks with topics like propositional logic, predicate logic, and program correctness covered over 14 weeks. It also lists assessment methods like assignments, quizzes, tests and a final exam worth 50% of the total grade.

Uploaded by

lordsquid26
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
66 views3 pages

2024 Mar CSC510 Scheme of Work

The document outlines a scheme of work for a course on formal representation and logic. It includes 3 learning outcomes, a schedule organized into blocks with topics like propositional logic, predicate logic, and program correctness covered over 14 weeks. It also lists assessment methods like assignments, quizzes, tests and a final exam worth 50% of the total grade.

Uploaded by

lordsquid26
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/ 3

SESSION 20242

SCHEME OF WORK
CSC510
COLLEGE OF COMPUTING, INFORMATICS AND MATHEMATICS
UNIVERSITI TEKNOLOGI MARA
SEM MAR – AUG 2024

Course Learning Outcomes

At the end of the course, students should be able to:

1. Clarify the concepts associated with formal representation and operations. ( C2 )


2. Explain problem solving solutions in selecting relevant methods and techniques associated with
formal representation. ( C5 )
3. Demonstrate personal skills in constructing formal proofs of validity ( A3 )

SAM Week Content Reference Notes/ Submission


1 PROPOSITIONAL LOGIC
18/3 - 24/3 ● Introduction to subject
● OBE –SLT & SOW, Lecture 1 Student profile
Evaluation

2 PROPOSITIONAL LOGIC
25/3 – 31/3 ● Propositional Logic
Lecture 2
● Truth Table

3 LOGICAL EQUIVALENCE
1/4 – 7/4 AND SOUNDNESS
● Logical equivalence and
equality
● Conjunctive and
BLOCK 1 Disjunctive normal forms Lecture 3
● Proving validity of logical
expressions using truth
tables and inferencing
rules

8/4 – 14/4 SPECIAL BREAK RAYA


4 PREDICATE LOGIC
15/4 – 21/4 ● Interpretation
Lecture 4 Quiz 1
● Validity

5 RULES OF INFERENCE
22/4 – 28/4 ● Formal proofs
Lecture 5
● Applying the rules

6 METHODS OF PROOF
29/4 – 5/5 ● Theorem and rules
● Direct proof
supp notes:
BLOCK 2 ● Indirect proof Quiz 2
proof template
● Proof by contradiction
● Proof by cases
SESSION 20242

7 SET, RELATIONS AND


6/5 – 12/5 FUNCTION
● Set terminologies
● Venn diagrams and set
operations TEST 1
Lecture 6
● Set Laws/identities (8pm, 10/5/2024)

8 SET, RELATIONS AND


13/5 – 19/5 FUNCTION
● Relations
● Properties and types of
Lecture 7
relations
● Functions
● Properties of functions

9 LANGUAGE AND
20/5 – 26/5 GRAMMAR
● Formal language
● Types of grammars Lecture 8
● Specification of grammar
● Derivation of a grammar

27/5 – 2/6 SPECIAL BREAK GAWAI


10 LANGUAGE AND
3/6 – 9/6 GRAMMAR
(3 June ● Deterministic Finite State
Lecture 9 Quiz 3
AGONG’s Automata (DFSA)
Birthday) ● DFSA with output

11 LANGUAGE AND
10/6 – 16/6 GRAMMAR
● Deterministic Finite State
Automata (DFSA) Lecture 10
● DFSA without output

BLOCK 3
12 PROGRAM
17/6 – 23/6 CORRECTNESS
(17 June ● Program testing
RAYA HAJI) ● Program correctness Lecture 11 Quiz 4
● Hoare-Triple Notation
● Assignment statements

13
PROGRAM
24/6 – 30/6
CORRECTNESS
● Program correctness proof
Lecture 12
using axiomatic semantics
● Selection Statements
SESSION 20242

14 PROGRAM
1/7 – 7/7 CORRECTNESS
● Loop statements TEST 2
Lecture 13
● Loop invariant (8pm, 5/7/2024)

8/7 – 14/7 Revision Week


BLOCK 4 15/7 – 4/8 Final Exam/Assessment
5/8 – 6/10 Semester Break
*STRUCTURED ASSESSMENT MECHANISM (SAM): BLOCK 1-4

 Entrance Survey 25/3/24 – 7/4/24


 Student Feedback Online (SuFO) 10/6/24 – 14/7/24
 Proses Exit Survey 24/6/24 – 7/7/24
 English Exit Test (Speaking) 9 – 11/7/24
 Final Exam/Assessment & English Exit Test (Writing) 15/7/24 – 4/8/24

Assignment 10%
Quizzes (4 x 5%) – MCQ - Online 20%
Tests (2 * 10%) – MCQ and Short Answers 20%
TOTAL CONTINUOUS ASSESSMENT 50%
Final Examination – MCQ and Short Answers 50%
CONTINUOUS ASSESSMENT + FINAL EXAM 100%

You might also like