CSC510: Discrete Structure

Syllabus Content

PROPOSITIONAL LOGIC

• Notation and terminologies
• Logical connectives
• Types of propositions
• Laws to manipulate logical expressions

LOGICAL EQUIVALENCE AND SOUNDNESS

• Normal forms
• Rules of Inference
• Logical equivalence and equality
• Proof techniques

PREDICATE LOGIC

• Syntactic components
• Interpretations and validity

SET, RELATIONS AND FUNCTIONS

• Domain and ranges
• Types of relations
• Operations on relations
• Definition of functions
• Types of functions

LANGUAGE AND GRAMMAR

• Formal language
• Types of grammars
• Deterministic Finite State Automata (DFSA)

PROGRAM CORRECTNESS

• Program testing
• Verifying program correctness through rules involving simple and composite statements, conditions and loops

Lecture Notes:

• Scheme of works and lecture notes (Class 1-18b, tutorial 1-12, project) 

Useful sources:

• toida@c s.odu.edu
• Indian Institute of Technology Madras (youtube)
• University of Western Australia