Introduces the basics of the AutoCAD interface, covering connecting to A360, starting drawings, and managing output add-ins.
Explains lattice agreement in distributed algorithms, focusing on processes agreeing on decisions despite failures.
Covers topics in Quantum Chemistry, including history, tools, color & draw techniques, shapes, and mathematical conversions.
Introduces Coq, covering defining propositions, proving theorems, and using tactics.
Covers exercises on reliable broadcast, uniform reliable broadcast, and total order broadcast in distributed algorithms.
Covers the Fourier inversion formula, exploring its mathematical concepts and applications, emphasizing the importance of understanding the sign.
