Lectures related to Elementary arithmetic

Geometry: Euclidean Elements & Vitruvius

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

Place-Valued Arithmetic: Addition and Subtraction

Explores place-valued arithmetic, covering addition, subtraction, and limitations of digital systems.

Polynomial Applications: Combinatorial Computations

Delves into using polynomials for combinatorial computations and explores operations and identities with binomial coefficients.

Number Theory: Congruence

Explains congruence modulo m and its applications in arithmetic operations.

Linear Equations and Matrices: Solution Methods, Elementary Operations

Explores solution methods and elementary operations for linear equations and matrices, demonstrating techniques to simplify systems and obtain solutions.

Linear Algebra: Matrices and Operations

Covers the basics of linear algebra, focusing on matrices and operations.

Number Theory: Congruence

Covers congruence modulo m and arithmetic operations.

Euclidean Geometry: Operations and Constructions

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

Binary Numbers: Representation and Operations

Explores binary number representation, arithmetic operations, microcontroller instruction sets, and practical development processes.

Setting up arithmetic

Explores defining arithmetic operations through counting, with insights on cardinal numbers, Cantor's work, and Sudoku.

Python Crash Course

Provides a Python crash course covering basic arithmetics, complex numbers, strings, lists, dictionaries, and more.

Computation: information representation

Covers the conversion between binary and decimal numbers, addition, subtraction, multiplication, and division operations.

Computer Arithmetic (Integers)

Covers binary representation, two's complement, overflow detection, and operations in MIPS for computer arithmetic with integers.

Circle Orthogonal & Poincaré Disk

Covers circle orthogonal and Poincaré disk concepts in geometry.

Datapath Design: Mandelbrot & Fixed-Point

Explores datapath design for Mandelbrot set and fixed-point number representation in digital systems.

Logic Systems: Arithmetic Operations

Covers classic pen-and-paper methods for arithmetic operations and binary representations of numbers.

Physics 1: Vectors and Dot Product

Covers the properties of vectors, including commutativity, distributivity, and linearity.

Introduction to Stainless: First Steps with Stainless

Introduces the Stainless verification tool with examples of verifying commutativity properties and arithmetic operations.

Implementing a Python Calculator

Covers the implementation of a Python calculator with various arithmetic operations.

Symmetry in Modern Space

Explores the fundamental theorem of isometries in space and the modern definition of symmetry, emphasizing the complexities of determining symmetries in 3D objects.