Lectures related to Distributed Algorithms: Exam Review

Explores harmonic forms on Riemann surfaces and the uniqueness of solutions to harmonic equations.

Introduces the basics of the AutoCAD interface, covering connecting to A360, starting drawings, and managing output add-ins.

Coq: Introduction

Introduces Coq, covering defining propositions, proving theorems, and using tactics.

Concept of Proof in Mathematics

Delves into the concept of proof in mathematics, emphasizing the importance of evidence and logical reasoning.

Untitled

Composition of Applications in Mathematics

Explores the composition of applications in mathematics and the importance of understanding their properties.

Algorithm Design: Time Complexity Analysis

Introduces algorithm design and time complexity analysis using examples and notations like n² and O(n).

The Languages of Isabelle: Isar, ML, and Scala

Explores the languages of Isabelle, focusing on Isar, ML, and Scala, covering proof schemes, Natural Deduction rules, inductive definitions, and the LCF approach.

Linear Algebra: Equivalence and Calculations

Explains equivalence in linear algebra and set calculations with illustrative examples.

Proofs: Logic, Mathematics & Algorithms

Explores proof concepts, techniques, and applications in logic, mathematics, and algorithms.

Solving Parity Games in Practice

Explores practical aspects of solving parity games, including winning strategies, algorithms, complexity, determinism, and heuristic approaches.

Algorithms & Growth of Functions

Covers optimization algorithms, stable matching, and Big-O notation for algorithm efficiency.

Distance Board: Compression

Covers the concept of compression and distance boards.

Analysis IV: Measurable Sets and Properties Log in to Mediaspace to watch this video

Covers the concept of outer measure and properties of measurable sets.

Lattice Agreement Log in to Mediaspace to watch this video

Explains lattice agreement in distributed algorithms, focusing on processes agreeing on decisions despite failures.

Distributed Algorithms: Project Implementation and Evaluation Log in to Mediaspace to watch this video

Covers the implementation and evaluation of a practical project in Distributed Algorithms, focusing on building Perfect Links, FIFO Broadcast, and Localized Causal Broadcast.

Quantum Chemistry Log in to Mediaspace to watch this video

Covers topics in Quantum Chemistry, including history, tools, color & draw techniques, shapes, and mathematical conversions.

Causal & Total Order Broadcast Log in to Mediaspace to watch this video

Covers exercises on reliable broadcast, uniform reliable broadcast, and total order broadcast in distributed algorithms.

Fourier Inversion Formula Log in to Mediaspace to watch this video

Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.

Distributed Algorithms: Mock Exam Solutions Log in to Mediaspace to watch this video

Covers solutions to a mock exam on Distributed Algorithms, addressing topics like Perfect Failure Detectors and Consensus.