🤖 Epiphany 🧠

6 Episode - Fractions & Number Theory

5 Episode - Fractions Theory & Background

Timeline of Scientists, Philosophers, Mathematicians, Engineers ...

4 Episode - Computational Models

3 Episode - Computational Models

2 Episode - Computational Models

1 Episode - Computational Models

imetadata

iinit/ihide

ihighlight - Jupyter Lab/Notebook Extension

installing manim, sympy & matplotlib in a wsl anaconda environment alongside jupyter

Polyglot Environment

ibeamer

ibeamer - Jupyter Lab Extension

Automating the Build- and Documentation Process

Essential Technologies

Structural Induction/Induction on Complexity of Formulas/Induction on the Number of Connectives

Examples of Well Formed Formulas

Language & Semantics of Propositional Logic

(Weak) Mathematical Induction ~ Strong/Complete Induction ~ Well-Ordering Principle

Einstein

Coding with Lambda

🤖 Epiphany 🧠

#3 Python for Mathematics & Physics Teachers (Manim)