Lecture
Propositional Logic
Related lectures (33)
Recursive Functions: Methodology of Development + Debugging
Covers the methodology of development, recursion, and debugging in C++.
Discrete Mathematics: Logic, Structures, Algorithms
Covers the basics of discrete mathematics, focusing on logic, structures, and algorithms for computer systems.
Harmonic Forms and Riemann Surfaces
Explores harmonic forms on Riemann surfaces, covering uniqueness of solutions and the Riemann bilinear identity.
Discrete Mathematics: Logic, Structures, Algorithms
Covers the basics of discrete mathematics, including logic, structures, and algorithms.
Recursively Defined Sets and Structures
Explores recursively defined sets, natural numbers, strings, functions, string concatenation, and well-formed formulae.
Distributed Computation I
Explores distributed computation between two parties in a distant setting.
Estimation of IntegralsMOOC: Analyse I
Covers the estimation of integrals using various propositions and demonstrations.
Algebraic Operations on LimitsMOOC: Analyse I
Covers algebraic operations on limits and their application in limit calculations.
Quantum Chaos and Scrambling
Explores the concept of scrambling in quantum chaotic systems, connecting classical chaos to quantum chaos and emphasizing sensitivity to initial conditions.