Skip to main content

Home
Articles
About

/

Home
Articles
About

Lecture Notes

Collection of lecture notes.

— A collection of 3 posts

February 2024

On Invariance and Inconsistency

February 16, 2024

March 2023

Correctness of Two Sorting Algorithms

March 15, 2023

Discover the foundations of computer science.

Subscribe to the Dr. Heap newsletter

Get the latest episodes delivered to your inbox.
No spam. Unsubscribe anytime.

Sign up
Course Overview
About this publication
RSS Feed

Dr. Heap by Hans-Dieter Hiep is licensed under Creative Commons Attribution 4.0 International

Published with Ghost, Spiritix, and The Rogue Scholar.

DISCLAIMER: For informational and educational purposes only. Opinions expressed here do not necessarily reflect those of any organization — including the past, current and future employer(s) of the author(s) or any of their affiliations and/or associations.