Graph theory, logic, and combinatorics.
Propositions, logical operations, predicate calculus, mathematical induction. Properties of relations, closures, Warshall's Algorithm, POSET, and Lattices.
Combinations, permutations, Principle of Inclusion-Exclusion, generating functions, and recurrence relations.
Matrices, isomorphism, special graphs, connected/bipartite graphs, Eulerian/Hamiltonian paths, planar graphs, and graph colouring.
Tree properties, DFS/BFS, minimal spanning trees, Kruskal's, Prim's, Dijkstra's, and Network Flow algorithms (Ford-Fulkerson).
Binary operations, semi-groups, groups, subgroups, Lagrange’s theorem, homomorphism, and error correction codes.