Lectures related to Algorithmic Foundations for Systems Certification

Programming with Parallelograms

Covers the implementation of a Parallelogram class in Python.

Creating a Simple Mosaic

Covers the process of creating a simple mosaic using a programming tool.

Programming for Engineers: Motivation and Exercises

Covers the motivation behind controlling a babyfoot game and presents exercises related to programming in C.

Elliptical Arch Construction

Explores the construction of elliptical arches using a single ellipse arc.

Steric Factors in Organic Chemistry

Explores diastereotopic epochs, vi-disconnections, steric factors, and the chelete effect in organic chemistry, along with the protection of alcohols and types of ethers.

Homotheties and Translations

Explores homotheties and translations in geometry, focusing on preserving alignment and distances.

Conics in the Plane: Uniform Description of 3 Conics

Explores the construction and properties of parabolas, ellipses, and hyperbolas in the plane.

Capacitor and Self-Heating in a Wire

Covers the simulation of a capacitor and self-heating in a wire using Comsol.

Vectors: Definitions and Operations

Introduces vector definitions, displacement, addition, and applications in geometry.

Geometry: Menaeus de Vitruve

Explores conical and gnomonic curves, celestial representations, and solar paths through sketches and modeling tools.

Geometry: Instrument Epicycle

Explores the invention of instruments by artists like Albrecht Dürer to draw complex curves and lines not achievable with a ruler.

IMesh and iConc Tutorial

Covers the tutorial for iMesh and iConc, focusing on creating Finite Element Mesh for concrete structures.

Architecture Concepts: Ancient China to Modern West

Delves into ancient Chinese and Western architectural concepts, highlighting influences and key examples.

Geometry: Inaugural Proposition

Explores the Inaugural Proposition of Euclid's Elements and practical exercises using TopSolid software.

Geometry: Introduction to Architectural Geometry

Explores the historical and practical applications of geometry in architecture, emphasizing key geometric principles in architectural design.

The Universe: Describing Size, Mass-Energy, Geometry, and Evolution

Explores the Universe's size, mass-energy, geometry, and evolution, including redshift effects and accelerating expansion.

Geometric Transformations: Meanings and Applications

Explores geometric transformations, invariant properties, and mean relationships in modern geometry.

Euclidean Geometry: Operations and Constructions

Covers the fundamental operations and constructions in Euclidean geometry, focusing on algebraic interpretations and ruler-and-compass constructions.

Geometry: Euclidean Elements & Vitruvius

Explores Euclid's first proposition, ancient symmetria, and Vitruvius' architectural figures.

Geometry: Course Overview & 5 Regular Polyhedra

Explores geometry basics, 5 regular polyhedra construction, and their link to ancient physics and planets.