Lectures related to Heyting algebra

Logic Systems: Basics and Operators

Covers the basics of logic systems, including digital versus analog circuits, logic operators, truth tables, and Boolean algebra.

Jordan Curve Theorem

Covers the proof of the Jordan Curve Theorem and the properties of embedded spheres.

Digital Systems Overview: From Transistors to Integrated Circuits

Explores the evolution of digital systems from transistors to integrated circuits and their impact on consumer applications and IoT technologies.

Algorithmic Foundations for Systems Certification

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

Digital Systems Overview: Evolution and Fundamentals

Explores the evolution of digital systems, covering basics like Boolean algebra and logic gates, and emphasizes teamwork skills and professional vocabulary.