Lectures related to Complete Boolean algebra

Projection of Lines in Descriptive Geometry

Explains methods for accurately projecting lines in 3D space using GeoGebra.

Logical Structure: Choice and Bar Induction Principles

Covers the logical structure of principles equivalent to choice and bar induction, focusing on generalized dependent choice and its implications in mathematics.

Boolean Type: Common Errors

Addresses common errors with the boolean type in Java and how to avoid them.

Objects Everywhere

Covers pure object orientation, standard classes in Scala, Boolean implementation, and exercises on class implementations.

Digital Logic: Circuits and Design

Introduces digital logic, covering Boolean algebra, logic gates, combinational circuits, flip-flops, and state machines.

Vector-Vector Interactions

Explores vector-vector interactions, SQL queries, QGIS functions, cutting operations, and boolean operations in geographic information analysis.