# 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**".