Discrete Structure
The course is divided into 3 sections:
Lectures
📄️ Modular Arithmetic
notes about modular arithmetic and its examples: parity, clock arithmetic
📄️ Exponents
This page is about the definition of exponents, laws of exponents, and examples of exponents.
📄️ Logarithms
notes about logarithms
📄️ Bits
notes about bit strings, bit operations, bit-wise operations, bit manipulation.
📄️ Data Representation
How to represent integers, characters, decimal numbers using bits.
📄️ Propositional Logic
Week 3: Propositional Logic. Study propositions and logical operators.
📄️ Set Theory
Week 4: Sets. Study set theory, Zermelo-Fraenkel set theory axioms, and Syllogisms.
📄️ Zermelo-Fraenkel Set Theory
Week 4: Sets. Study Zermelo-Fraenkel set theory axioms
📄️ Syllogisms
Week 4: Sets. Study Syllogisms.
📄️ Logical Implication
Week 5: Predicate logic. Study Logical implications
📄️ Proofs
Week 5: Predicate logic. Study proofs.
📄️ Predicate
Week 5: Predicate logic. Study predicate logic. An introduction to predicate.
📄️ Quantifier
Week 5: Predicate logic. Study existential/universal quantifiers.
📄️ Relations
Week 6: Relations
📄️ Functions
Week 6: Functions
📄️ Sequences
Week 6: Sequences
📄️ Graphs
Week 7: Graphs
📄️ Graph Connectivity
Week 7: Graphs
📄️ Graph Algorithms
Week 7: Graphs. Breadth-First Search and Depth-First Search
📄️ Trees
Week 8: Trees
📄️ Algorithms for Trees
Week 8: Algorithms for Trees
📄️ Problem Solving Assignment
Assignment3 report
📄️ Project: Pegs
CAB203 Assignment Solve the pegs game using BFS.
Mathematical foundations
- Abstractions, definitions, modular arithmetic, exponents
- Data representations, bits, bit strings
- Logic, proofs, axioms recursion
- Sets
- Predicate logic
Discrete structures
- Relations, functions
- Graphs
- Trees
- Digraphs
Selected topics
- Finite state automata and regular languages
- Linear algebra
- Probability and Baysian reasoning
- Program correctness
Learning Resources
Appendix
Cannot find definitions for "automata".
Cannot find definitions for "axioms".