Mediaspace scheduled maintenance: Aug 25, 2026 07:00 - 12:00 AM. During this time, videos will be temporarily unavailable. Check status updates.

Home

Lecture

Hoare Logic: Postconditions and Preconditions

About
Privacy
Disclaimer

Graph Chatbot

Related lectures (40)

Encoder and Decoder for Prefix-Free Codes Log in to Mediaspace to watch this video

Covers the implementation and verification of encoder and decoder for prefix-free codes, including classes and types, lemmas on trees, and the main theorem.

Formally Verified Chisel Designs Log in to Mediaspace to watch this video

Explores formally verifying Chisel designs using SMT solvers and covers examples like delayed assertions and proofs by induction.

Programming Paradigms: Functional, OOP, Polymorphism Log in to Mediaspace to watch this video

Explores programming paradigms like procedural, functional, and OOP, with examples in Python.

Functional Reactive Programming Log in to Mediaspace to watch this video

Explores functional reactive programming as a cleaner and more functional alternative to the traditional observer pattern, using signals to simplify complex observer hierarchies.

Introduction to Coq: Arithmetic Expressions and Evaluators Log in to Mediaspace to watch this video

Covers the basics of Coq, focusing on arithmetic expressions, evaluation, and proof techniques.

Inductive Propositions: Understanding Evaluation in Coq Log in to Mediaspace to watch this video

Covers inductive propositions in Coq, focusing on evaluation rules for arithmetic expressions and their applications in defining partial and non-deterministic functions.

Data Abstraction: Modules and Specifications in Coq Log in to Mediaspace to watch this video

Discusses data abstraction in programming, focusing on modules and specifications in Coq.

Introduction to Programming: Basics and Control Structures Log in to Mediaspace to watch this video

Introduces programming basics and control structures, emphasizing hands-on practice for exam preparation and project work.

Distributions and Derivatives Log in to Mediaspace to watch this video

Covers distributions, derivatives, convergence, and continuity criteria in function spaces.

Introduction to Programming: Basics of Python Log in to Mediaspace to watch this video

Covers the basics of programming in Python, focusing on practical skills and hands-on exercises.

Python Programming: Immutable and Mutable Objects Log in to Mediaspace to watch this video

Explains the differences between mutable and immutable objects in Python, focusing on lists, sets, and their behaviors.

Cache Coherence Log in to Mediaspace to watch this video

Covers cache coherence in multiprocessor systems and the challenges of maintaining coherence and consistency in modern processors.

Algorithmic Foundations for Systems Certification Log in to Mediaspace to watch this video

Explores challenges in designing systems with untrustworthy components, focusing on verification, control, and interaction in unreliable systems.

Cache Coherence: Concepts and Protocols Log in to Mediaspace to watch this video

Explores cache coherence in multiprocessor systems, including protocols and challenges.

Heat Kernel and Gaussian Analysis Log in to Mediaspace to watch this video

Explores the Heat Kernel and Gaussian analysis in solving the heat equation.

Optimal Transport: Heat Equation and Metric Spaces Log in to Mediaspace to watch this video

Explores optimal transport in heat equations and metric spaces.

Fundamental Solutions Log in to Mediaspace to watch this video

Explores fundamental solutions in partial differential equations, highlighting their significance in mathematical applications.

Optimal Transport: Theory and Applications Log in to Mediaspace to watch this video

Explores Lagrange multipliers, minimax theorems, and convex subsets in optimal transport theory.

Convex Optimization: Gradient Descent Log in to Mediaspace to watch this video

Explores VC dimension, gradient descent, convex sets, and Lipschitz functions in convex optimization.

Harmonic Forms and Riemann Surfaces Log in to Mediaspace to watch this video

Explores harmonic forms on Riemann surfaces, covering uniqueness of solutions and the Riemann bilinear identity.

Page 2 of 2