Graph theory, logic, and combinatorics.
Click the download button on any lecture card to access the PDF.
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.